In my quest for a good Lisp, I could no longer ignore static types. See Taf - A plan for a statically-typed Lisp . There shouldn't b...

This PLT Life is now on Tumblr , thanks to bloggertotumblr.com .

(Hello, Jetty.)

Lexically-scoped fexprs and first-class environments  make it simple to do hygienic metaprogramming , using less machinery than hygienic ma...

It's desirable for a language to support exceptions (preferably restartable ones ),  unwind protection ,  dynamic binding , and  delimi...

David Barbour has created a very promising and exciting paradigm for writing interactive, networked applications:  Reactive Demand Programmi...

I didn't know this: Mozilla Memes . Check it out.

Here's a fun idea, that should work in a language with fexprs, or an incremental/reactive macro expander. It relies on the property that...

Oleg's argument against call/cc links to one of his lesser known posts, Delimited continuations do dynamic-wind . In it he first shows ...

I've always felt that Scheme does data and types wrong, but I couldn't really say what bothered me until yesterday. After all, R7RS ...

Metacontinuations arise in some implementations of delimited control such as in A Monadic Framework for Delimited Continuations . In addit...