Implementing Polymorphism

Date
Tags coco, haskell, programming, research, type checking
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.