Browse by ISBN
Number of items: 1.
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