Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Mcbride, Conor; (2010) Outrageous but meaningful coincidences : dependent type-safe syntax and evaluation. In: Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. ACM, New York, NY, USA, pp. 1-12. ISBN 9781450302517