Documents Related by Co-Citation

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
322 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
84 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
311 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
634 Compiling with Continuations – A Appel - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
760 Types and Programming Languages – Benjamin C Pierce - 2002
497 The calculus of constructions – T Coquand, G P Huet - 1988