[Colloquium] Reminder: Show & Tell Series at TTI-C (Blume, TODAY @ 12:15pm)

[Katherine Cumming]

TTI-C SHOW AND TELL SERIES
 
Presented by:  Toyota Technological Institute at Chicago
 
 
Speaker:  Matthias Blume, TTI-C
Speaker's home page: http://www.tti-c.org//blume.html
 
Time: Tuesday, October 11th , 2005
Location: TTI-C Conference Room
Lunch Provided @ 12:00pm 
Seminar @ 12:15pm
 
Title: Record Polymorphism and Functional Record Extension
 
Abstract: I will describe a small language design featuring polymorphic
records in the style of Ohori's SML# as well as a form of functional record
extension together with its "inverse" or "dual": pattern matches that can
extract sub-records of a given record. I will show how one can express a
variety of other ad-hoc mechanism in terms of these basic features.
 
Our type system for the language extends that of core-ML by making use of
row type variables and a form of bounded universal quantification over such
row variables. In this type system, the language has principal types, making
it suitable for Hindley-Milner style type inference.
 
I will review HM-style type inference, briefly discuss our implementation of
inference, and explain how we generalize Ohori's algorithm for making use of
static type information during the translation to a low-level intermediate
language. We hope that our generalization will allow us to efficiently
compile functional record extension and sub-record extraction in the
presence of record polymorphism.
 
This is joint work (in progress) with Wonseok Chae.
 
-----------------
If you have questions, or would like to meet the speaker, please contact
Katherine at 773-834-1994 or kcumming at tti-c.org.  For information on future
TTI-C talks or events, please go to the TTI-C Events page,
http://www.tti-c.org/events.html.  TTI-C (1427 East 60th Street, Chicago, IL
60637)
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20051011/978b1636/attachment.htm