Vincent Balat, Roberto Di Cosmo, and Marcelo Fiore. Extensional normalisation and type-directed partial evaluation for typed lamda calculus with sums. In 31st Ann. ACM Symp. on Principles of Programming Languages (POPL), pages 64--76. ACM, 2004.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.