Andrew W. Appel, Xavier Leroy. A list-machine benchmark for mechanized metatheory (extended abstract).
Int. Workshop on Logical Frameworks and Meta-Languages (LFMTP 2006), Aug 2006, Seattle (Washington), United States. pp.95-108,
⟨10.1016/j.entcs.2007.01.020⟩.
⟨inria-00289543⟩