Mechanizing the Metatheory of Standard ML (2006)

Cached

Download Links

by Daniel K. Lee , Karl Crary , Robert Harper
Citations:75 - 9 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
51 Mechanizing metatheory in a logical framework – R Harper, D R Licata - 2007
229 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
97 A machine-checked model for a Java-like language, virtual machine and compiler – Gerwin Klein, Tobias Nipkow - 2004
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
42 Ott: Effective tool support for the working semanticist – Peter Sewell, Francesco Zappa Nardelli , Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa - 2007
35 Extensional equivalence and singleton types – Christopher A. Stone, Robert Harper
70 A Compiled Implementation of Strong Reduction – Benjamin Grégoire, Inria Rocquencourt, Xavier Leroy
57 Contextual modal type theory – A Nanevski, F Pfenning, B Pientka
25 Design considerations for MLstyle module systems – R Harper, B C Pierce - 2005
39 Deciding Type Equivalence in a Language with Singleton Kinds – Christopher A. Stone, Robert Harper - 2000
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997