If optimization and intermediate languages for lazy functional languages are your things, take a look at Types are Calling Conventions by Max Bolingbroke and Simon Peyton Jones.
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 Strict Core, a new intermediate language whose type system makes the missing distinctions: laziness is explicit, and functions take multiple arguments and return multiple results.
Recent comments
6 weeks 23 hours ago
6 weeks 1 day ago
6 weeks 1 day ago
28 weeks 2 days ago
32 weeks 4 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago