When Is A Functional Program Not A Functional Program?
, John Longley. ICFP 1999.
In an impure functional language, there are programs whose behavior is completely functional (in that they behave extensionally on inputs) but the functions they compute cannot be written in the purely functional fragment of the language.
That is, the class of programs with functional behavior is more expressive than the usual class of pure functional programs.
In this paper we introduce this extended class...
Of Course ML Has Monads!
Of Course ML Has Monads! from Bob Harper's Blog: A popular meme in the world of PL’s is that “Haskell has monads”, with the implication that this is a distinctive feature of the...
Automatic Staged Compilation
Automatic Staged Compilation, doctoral dissertation of Matthai Philipose: [...] The past few years have seen the emergence of staged optimization, which produces run-time optimizations that...
Eff - Language of the Future
This is just a series of blog posts so far, as far as I can tell. But Andrej Bauer's work has been mentioned here many times, I am finding these posts extremely interesting, and I'm sure I...
Post new comment