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 [54].

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

This file was generated by bibtex2html 1.99.