Compiling Without Continuations

Summary

Presented by Simon Peyton Jones, Microsoft Research / University of Cambridge at the Arm Research Summit 2017. Join us on ... reddit.com/r/haskell/comments/6m14j5/pldi_2017_simon_peyton_jones_compiling_without/ This video is part of the Haskell Foundation's effort to restore lost Haskell videos. Unfortunately, descriptions were Authors: Luke Maurer, Paul Downen, Zena M. Ariola, Simon Peyton Jones Title: Okay so in conclusion our answer to the question with are In this paper we present a novel simulation relation for proving correctness of program transformations that combines syntactic ... ... implemented with first-class ... strategy can be derived by transforming a program into Functional programming is full of “folk tricks” that seem inscrutable to novices. Many of them can be traced back to John Reynolds, ... Converting the interpreter to avoid implicit This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check lambdadays.org ... Info: pwlconf.org/2017/kenichi-asai/ Slides: bit.ly/2yyHngu Transcription: bit.ly/2yb4vju Kenichi's Site: ... This is a talk I gave at Boise Code Camp on May 2nd 2026. It covers various tricks in order to make