2007-01-22

A New Term

A new term starts on Wednesday, but the following are all on the list for discussion:

  1. Dan Friedman, et al. The Reasoned Schemer
  2. Flapjax: lifting and a few growing pains
  3. My thesis

* Filed by Michael Greenberg on 2007-01-22 at 11:59am under Blog
No Comments

a weasel in a hat

2007-01-08

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.

(more…)

* Filed by Michael Greenberg on 2007-01-08 at 6:24pm under Programming Languages
* 2 Comments

a weasel in a hat