+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 -~----------~----~----~----~------~----~------~--~---
