BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Types are calling conventions - Max Bolingbroke\, Computer Lab
DTSTART:20090522T141500Z
DTEND:20090522T151500Z
UID:TALK18430@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Typical first-order imperative languages derive all informatio
 n about how a function is called from its type. However\, in a higher orde
 r lazy functional language such as Haskell\, this approach leads to the\nu
 se of unduly pessimistic assumptions about how functions should be compile
 d.\n\nThis talk explores the consequences of pushing information about fun
 ction calling convention pervasively into the type system of a compiler in
 termediate language. I show how this decision allows us to cleanly express
  several classical and not-so-classical optimisations\, as well as express
  what appears to be an entirely new one.\n\n(Joint work with Simon Peyton 
 Jones\, Microsoft Research Cambridge)
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR