|
|
The Design and Implementation of a Safe, Lightweight Haskell Compiler
– Timothy Jan Chevalier
|
|
26
|
Formal verification of a realistic compiler
– Xavier Leroy
|
|
2
|
An LLVM Backend for GHC
– David A. Terei, Manuel M. T. Chakravarty
|
|
|
Making a Fast Curry
– Push Enter Vs, Simon Marlow, Simon Peyton Jones
|
|
11
|
A Type-Preserving Compiler in Haskell
– Louis-Julien Guillemette, Stefan Monnier
- 2008
|
|
11
|
A Usage Analysis With Bounded Usage Polymorphism and Subtyping
– Jörgen Gustavsson, Josef Svenningsson
- 2000
|
|
3
|
A Kripke Logical Relation Between ML and Assembly
– Chung-kil Hur, Derek Dreyer
|
|
|
Mechanized
– unknown authors
|
|
16
|
Mechanized Semantics for the Clight Subset of the C Language
– Sandrine Blazy, Xavier Leroy
|
|
5
|
Practical tactics for separation logic
– Andrew Mccreight
- 2009
|
|
2
|
A Typed Functional Language for Expressing Register Usage
– Johan Agat
- 1998
|
|
12
|
Call-by-need and Continuation-passing Style
– Chris Okasaki, Peter Lee, David Tarditi
- 1993
|
|
|
A Mobile Functional Object Code
– Manuel M.T. Chakravarty
- 1998
|
|
7
|
Rethinking Supercompilation
– Neil Mitchell
- 2010
|
|
1
|
Statically tracking state with Typed Regions
– Stefan Monnier
|
|
|
by
– Jason Smith
|
|
3
|
Faster laziness using dynamic pointer tagging
– Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones
- 2007
|
|
4
|
Supercompilation by evaluation
– Max Bolingbroke, Simon Peyton Jones
- 2010
|
|
11
|
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages
– Urban Boquist, Thomas Johnsson
- 1996
|
