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)
- Clean (programming language) (← links)
- Logic for Computable Functions (← 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)
- Talk:Haskell/Archive 1 (← links)
- Talk:Tagged union (← links)
- Talk:Abstract syntax tree (← links)
- Talk:Pattern matching (← links)
- User:Brighterorange (← links)
- User:TuukkaH (← links)