Lambda the Ultimate

On Andrej Bauer's indispensible weblog, he posts On programming language design, which articulates some ideas about the value of safety of inductive data types, type safety, etc. Gains a thumbs up by Robert Harper.

Hello,

just started a mailing list about programming language design. Simply because I couldn't find any...
It's called 'PiLuD' ;-)
For anyone interested.

subscribe : pilud+subscribe@googlegroups.com
send mail : pilud@googlegroups.com
home page : http://groups.google.com/group/pilud

You'll find a list of sample topics, only intended to help the list start & live, at
http://groups.google.com/group/pilud/web/topics
Add your own center of interests.

Denis
------
la vita e estrany