Browse by Journal or other publication
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Atkey, Bob (2009) A deep embedding of parametric polymorphism in Coq. In: 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, 2009-09-04.