A code generator framework for Isabelle/HOL (2007)

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

Active Bibliography

42 Code generation via higher-order rewrite systems – Florian Haftmann, Tobias Nipkow - 2010
19 Constructive type classes in Isabelle – Florian Haftmann, Makarius Wenzel - 2007
393 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992
367 Theorems for free! – Philip Wadler - 1989
320 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
277 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
268 seL4: Formal Verification of an OS Kernel – Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood - 2009
261 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
239 Report on the programming language HASKELL a non-strict, purely functional language, version 1.3 – P Hudak - 1996