+4
On Feb 8, 6:46 pm, Peter Burns <[EMAIL PROTECTED]> wrote:
> 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
-~----------~----~----~----~------~----~------~--~---
