The notes from a panel held at POPL 2009 on this topic are available here.
The panelists were Simon Peyton Jones, Kathryn McKinley, Xavier Leroy, Martin Rinard and Greg Morrisett.
Among the topics raised: Effects, Program verification, Parallelism, Visualization tools for understanding behavior of parallel programs, Secure software, High assurance.
Not surprisingly all these topics have been discussed here repeatedly in recent years...
[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