WG211/M7Kamin
From WG 2.11
Typing program generators using the record calculus
Sam Kamin
- kamin-wg09.pdf : Slides
- This page was last modified on 12 December 2011, at 11:06.
- Privacy policy
- About WG 2.11
- Disclaimers