User:Benmachine

Contributions

Articles written mostly by me (linking to specific revisions, in case they are later rewritten):

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

Opinions

I have some objections to module overqualification

Drafts

Cont tutorial (too much magic)

User:benmachine/Newtype (not finished)