Volume 49, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 49, Issue 3

October 2012

Special Issue: The POPLmark Challenge

Issue Editors:

Benjamin Pierce,
Stephanie Weirich

7 articles in this issue

Preface
Benjamin C. Pierce
Stephanie Weirich
BriefCommunication 04 July 2012 Pages: 301 - 302
A Solution to the PoplMark Challenge Using de Bruijn Indices in Isabelle/HOL
Stefan Berghofer
OriginalPaper 23 June 2011 Pages: 303 - 326
A Solution to the PoplMark Challenge Based on de Bruijn Indices
Jérôme Vouillon
OriginalPaper 04 June 2011 Pages: 327 - 362
The Locally Nameless Representation
Arthur Charguéraud
OriginalPaper 06 May 2011 Pages: 363 - 408
Nested Abstract Syntax in Coq
André Hirschowitz
Marco Maggesi
OriginalPaper 30 September 2010 Pages: 409 - 426
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
Andrea Asperti
Wilmer Ricciotti
Enrico Tassi
OriginalPaper 17 May 2011 Pages: 427 - 451
A List-Machine Benchmark for Mechanized Metatheory
Andrew W. Appel
Robert Dockins
Xavier Leroy
OriginalPaper 03 May 2011 Pages: 453 - 491