Difference between revisions of "Blog articles/Types"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
(No difference)
|
Revision as of 04:51, 28 June 2007
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