co-located with MFPS XXI
An informal proceedings with abstracts of the talks has appeared as University of Birmingham Computer Science technical report CSR-06-10.
Jean-Louis Krivine (PPS, University of Paris): A lazy lambda-calculus machine for programs extracted with the axiom of choice
Xavier Leroy (INRIA) From Krivine's machine to the Caml implementations
The lecture room for KAZAM is UG06 in the Learning Centre. The Learning Centre (14b on the map) is the building directly opposite from Computer Science (14a on the map), and its mirror image. The Computer Science building looks like this.
UG06 is a seminar room on the ground floor of the Learning Centre.
Coffee breaks will be in the Computer Science atrium.
- Malgorzata Biernacka:
A concrete framework for environment machines
- Bernhard Reus:
From Continuation Semantics to Abstract Machines
- Aaron Bohannon, Zena M. Ariola, and Amr
A Typed Calculus Supporting Shallow Embeddings of Abstract Machines
- Coffee break
- 11:30 - 12:30
- Jean-Louis Krivine:
A lazy lambda-calculus machine for programs extracted with the axiom of choice
- Lunch at Staff House
- Xavier Leroy:
From Krivine's machine to the Caml implementations
- 15:00 - 15:30
- Graham Hutton:
Calculating an Exceptional Machine
- 15:30 -16:00
- Paul Blain Levy:
Jumping Semantics For Call-By-Push-Value
- Coffee break
- Open-floor and discussion session
Information for participants
Participants are asked to pay the workshop fee directly to the organizers at the workshop. The standard fee is 25 pounds per person; for students, the fee is 20 pounds per person.
Registration (apart from fee payment) will be shared with the main MFPS conference. Please see the MFPS XXI pages for information and more local links.
Maintained by Hayo Thielecke