[TYPES] Grand Challenge Problems?

Derek Dreyer dreyer at mpi-sws.org
Sun Jan 17 12:45:59 EST 2010


A note from the moderator:

To give this thread some focus and prevent it from devolving into
endless arguments about particular languages or systems, I will
restrict future posts to those directly concerning the original
question about grand challenges in PL.  Feel free to take other
arguments off-line.

Best regards,
Derek


More information about the Types-list mailing list