Blog articles/Types
< Blog articles
Jump to navigation
Jump to search
Revision as of 04:51, 28 June 2007 by DonStewart (talk | contribs)
Types
- A type-based solution to the 'strings problem'
- Generalised Algebraic Data Types, Phantom Types, and Dependent Types
- Functions, Types, Function Types, and Type Inference
- Building Datatypes in Haskell (part 1)
- Rank-2 polymorphism is a strange thing
- Scientific.Dimension: Type Arithmetic and Physical Units in Haskell