Make that +2 Peter
On Feb 8, 2008, at 6:24 PM, Philip Neustrom wrote: > > +1 for a GADT talk! > > --Philip > > On Feb 8, 2008 10:49 AM, Raoul Duke <[EMAIL PROTECTED]> wrote: >> >> there are big ticket things in plt on the horizon which i only >> vaguely >> understand and which might be fun to hear more about. things like >> gradual typing, dependent types, gadts, maybe mu-obj calculus, >> code-with-proofs a la Coq, etc. >> >> probably hard to dial in the right presentation on any one of these >> given i'm assuming the disparate audience experience, but maybe a >> talk >> which had 2 parts like "hand wavy overview For Dummies with lots of >> example sales pitches" and then a shorter "here's where we talk in >> math symbols" section? >> >> sincerely. >> >>> >> > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to "Bay Area Functional Programmers" To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/bayfp?hl=en -~----------~----~----~----~------~----~------~--~---
