[plt-scheme] Re: Scheme Hackathon at ICFP 2009?

Prabhakar Ragde <plragde at uwaterloo.ca> wrote in article <48F8B02F.205 at uwaterloo.ca> in gmane.lisp.scheme.plt:
> Matthias wrote:
> > Warning: we do not have polymorphism  
> > under control
> Then again, who does? --PR

Yukiyoshi Kameyama and Takuo Yonezawa have polymorphism under control:
Their FLOPS 2008 paper introduces a type system for control/prompt with
let-bound polymorphism.

*duck*

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Grammar is a complementary analytical tool for understanding how
language is used in a statute to convey meaning.
District Court Judge Jonathan Jasper from Minnesota