Return statement
article-link
What links here
Guard (computer science)
Guarded Command Language
article-link
Conditional (computer programming)
article-link
Π-calculus
article-link
Pattern matching
article-link
Guard
article-link
Guarded suspension
article-link
Precondition
article-link
Occam (programming language)
article-link
Logic programming
article-link
Kent Recursive Calculator
article-link