Pages that link to "Algebraic data type"
Jump to navigation
Jump to search
The following pages link to Algebraic data type:
Displaying 24 items.
- Functional programming (← links)
- Mutual recursion (← links)
- Data type (← links)
- Tuple (← links)
- Type system (← links)
- Subtyping (← links)
- Curry–Howard correspondence (← links)
- Tagged union (← links)
- Call-by-push-value (← links)
- F-algebra (← links)
- Recursive data type (← links)
- Church encoding (← links)
- Scala (programming language) (← links)
- Initial algebra (← links)
- Catamorphism (← links)
- Agda (programming language) (← links)
- Enumerated type (← links)
- Anamorphism (← links)
- Comparison of programming languages (basic instructions) (← links)
- Mogensen–Scott encoding (← links)
- Type constructor (← links)
- List of open-source software for mathematics (← links)
- Quotient type (← links)
- Boltzmann sampler (← links)