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