Strict programming language
article-link
What links here
Algebraic data type
Curry (programming language)
article-link
Pattern matching
article-link
Curry–Howard correspondence
article-link
ISWIM
article-link
ADT
article-link
Subtyping
article-link
Cons
article-link
Type system
article-link
Function symbol
article-link
Logic for Computable Functions
article-link
Clean (programming language)
article-link
Andrei Alexandrescu
article-link
Tuple
article-link
Data type
article-link
Miranda (programming language)
article-link
Structure and Interpretation of Computer Programs
article-link
Abstract syntax
article-link
Backus–Naur form
article-link
Visitor pattern
article-link
Mutual recursion
article-link
Functional programming
article-link
Algebraic data types
redirect