[MSLUG] Upcoming meetings

Etienne Laurin laurieti at iro.umontreal.ca
Tue Aug 14 10:20:16 EDT 2007


On Sun, Aug 12, 2007 at 03:27:27PM -0400, Christopher Diggins wrote:
> Hi All,
> 
> I'll second the nomination for hearing about the tetris experiment.
> 
> On the subject of presentations, I am in the early stages of writing a
> translator from Scheme to a statically typed functional stack-based
> language. I would enjoy giving a short presentation on my project, to
> talk briefly about the core issues being tackled:
> 
> - How do types in a stack-based language differ from types in a
> standard functional language like ML or Haskell?
> - How do you implement and compute the type of call/cc in a
> stack-based language?
> - How do you share environment bindings in a type safe manner ?
> - How do you infer the type of recursive combinators such as Y and M?
> 
> I'd appreciate hearing if anyone has interest in such a presentation
> (or suggestions about how to make it more relevant to the audience), I
> don't want to make anyone suffer unneccessarily, even if only for 15
> minutes. :-)

I would be very interested in your presentation. Can you really cover
all those topics in only 15 minutes?

Etienne Laurin


More information about the MSLUG mailing list