You mean as the the POPL paper, http://lambda-the-ultimate.org/node/2622 ?

On Jan 27, 2008 10:30 PM, Don Stewart <dons@galois.com> wrote:

And just as PLT Scheme announces they're moving to immutable, pure lists
http://lambda-the-ultimate.org/node/2631

They'll be getting a type system soon, at this rate ;)

-- Don
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe