Generating Typed Expressions

Date
Tags coco, code generation, haskell, programming, research
Target Audience Haskell programmers.
Epistemic Status I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.