The Little Calculist

This blog has a new home: http://calculist.org Hope to see you there!

Since I'm pretty new to C++, I wasn't too deeply familiar with RAII ; like most Schemers I just thought of it as "C++'s ver...

A Theory of Typed Hygienic Macros PhD Dissertation, 2010 We present the λ m -calculus, a semantics for a language of hygienic macros with a ...

Yaron Minsky has giving great advice on effective ML lately. For my money, the single most important lesson is #3: make illegal states unre...

I've just created my new Mozilla-hosted blog ! I don't have intention of stopping this one here, but I'm moving my Mozilla-relat...

Continuing last week's series of posts on single-frame continuations for ECMAScript Harmony: The inimitable Waldemar Horwat points o...

This morning I've been blogging about single-function activations for Harmony , the history and design space of continuations , and info...

Following up on my previous posts about continuations and Harmony, I want to show how I use the modeling tools of evaluation contexts and ...

I mentioned earlier that the design space for first-class continuations has a lot of historical research behind it. This list of papers on ...

Well, no. Besides breaking a lot of language invariants, first-class continuations would be a nightmare for portability, since different imp...