A code generator framework for Isabelle/HOL (2007)

by Florian Haftmann , Tobias Nipkow
Venue:Department of Computer Science, University of Kaiserslautern
Citations:14 - 4 self

Active Bibliography

13 Constructive type classes in Isabelle – Florian Haftmann, Makarius Wenzel - 2007
368 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992
333 Theorems for free! – Philip Wadler - 1989
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
227 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
226 Report on the programming language haskell — A non-strict, purely functional language (version 1.2 – P Hudak, S P Jones, P Wadler - 1992
196 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
186 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007