User:Benmachine

Contributions

Articles written mostly by me, in descending order of how much I like them:

• Non-strict semantics
• Pure
• Polymorphism
• seq
• Impredicative types
• Newtype
• Monoid
• OCaml

Opinions

I have some objections to module overqualification

Drafts

Cont tutorial (too much magic)

User:benmachine/Newtype (not finished)