![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Friday 22 May 2009, 15:15-16:15
Types are calling conventions
- đ¤ Speaker: Max Bolingbroke, Computer Lab
- đ Date & Time: Friday 22 May 2009, 15:15 - 16:15
- đ Venue: GS15, Computer Laboratory
Abstract
Typical first-order imperative languages derive all information about how a function is called from its type. However, in a higher order lazy functional language such as Haskell, this approach leads to the use of unduly pessimistic assumptions about how functions should be compiled.
This talk explores the consequences of pushing information about function calling convention pervasively into the type system of a compiler intermediate 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.
(Joint work with Simon Peyton Jones, Microsoft Research Cambridge)
Series This talk is part of the Computer Laboratory Programming Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- GS15, Computer Laboratory
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.