If optimization and intermediate languages for lazy functional languages is your thing, take a look at Types are Calling Conventions by Max Bolingbroke and Simon Peyton Jones.
In this paper we take a It is common for compilers to derive the calling convention of a function from its type.
Doing so is simple and modular but misses many optimisation opportunities, particularly in lazy, higher-order functional languages with extensive use of currying.
We restore the lost opportunities by defining...
[ANN] FP Day 2011 - October 14th. Cambridge, UK.
Announcing FP Day 2011 a new 1 day Functional Programming event. The event covers the practical application of FP in Haskell, F# and Clojure. Keynote speakers are Simon-Peyton-Jones and Don...
A Monadic Framework for Delimited Continuations
A Monadic Framework for Delimited Continuations (PDF), R. Kent Dybvig, Simon Peyton Jones, Amr Sabry. TR, June 2005. Delimited continuations are more expressive than traditional abortive...
Generative Type Abstraction and Type-level Computation
Generative Type Abstraction and Type-level Computation (Extended Version), by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic: Modular languages support...
Post new comment