Andrew W. Appel and Xavier Leroy. A list-machine benchmark for mechanized metatheory (extended abstract). In Proc. Int. Workshop on Logical Frameworks and Meta-Languages (LFMTP'06), volume 174/5 of Electronic Notes in Theoretical Computer Science, pages 95-108, 2007.

Short version of [33].

bib | Local copy | At publisher's ] Back


This file was generated by bibtex2html 1.97.