A new term starts on Wednesday, but the following are all on the list for discussion:
- Dan Friedman, et al. The Reasoned Schemer
- Flapjax: lifting and a few growing pains
- My thesis
Month: January 2007
Semantics for Exceptions and Interrupts
Hutton and Wright have a paper What is the Meaning of These Constant Interruptions? in which they prove correct a semantics for exceptions and interrupts in a contrived language relative to a virtual machine by means of a compilation function.