Pages that link to "Algebraic data type"
Jump to navigation
Jump to search
The following pages link to Algebraic data type:
Displaying 50 items.
- Functional programming (links)
- Mutual recursion (links)
- Visitor pattern (links)
- Backus–Naur form (links)
- Abstract syntax (links)
- Structure and Interpretation of Computer Programs (links)
- Miranda (programming language) (links)
- Data type (links)
- Tuple (links)
- Andrei Alexandrescu (links)
- Clean (programming language) (links)
- Logic for Computable Functions (links)
- Function symbol (links)
- Type system (links)
- Cons (links)
- Subtyping (links)
- ADT (links)
- ISWIM (links)
- Curry–Howard correspondence (links)
- Pattern matching (links)
- Curry (programming language) (links)
- Strict programming language (links)
- Outline of combinatorics (links)
- Algebraic data types (redirect page) (links)
- Tagged union (links)
- List of functional programming topics (links)
- Call-by-push-value (links)
- Hope (programming language) (links)
- Algebraic (links)
- MECE principle (links)
- Algebraic datatype (redirect page) (links)
- F-algebra (links)
- Recursive data type (links)
- Corrado Böhm (links)
- Algebraic datatypes (redirect page) (links)
- Church encoding (links)
- Scala (programming language) (links)
- Algebraic type (redirect page) (links)
- Inductive data type (links)
- Initial algebra (links)
- Catamorphism (links)
- Agda (programming language) (links)
- Structural type system (links)
- Enumerated type (links)
- Semipredicate problem (links)
- Fold (higher-order function) (links)
- Generalized algebraic data type (links)
- Anamorphism (links)
- Comparison of programming languages (basic instructions) (links)
- Product type (links)