Andrew W. Appel and Xavier Leroy. A list-machine benchmark for mechanized metatheory (extended abstract). In LFMTP 2006: Int. Workshop on Logical Frameworks and Meta-Languages, number 174/5 in ENTCS, pages 95--108, 2007.

Short version of [41].

bib | DOI | Local copy | At publisher's site ] Back


This file was generated by bibtex2html 1.98.