Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Browse the full ICFP paper archive.