Wed Mar 10 10:12:42 CET 2010

Type checking is a stage

Other things I need to check:

   * Relationship between staging and type checking[1].

   * Relationshop between abstract interpretation and types[2].

   * Ziggurat[3]: how to ``seal'' static semantics, i.e. give macros a
     static meaning without using ``specification by compiliation''.

   * Dave Herman's work on macros and binding[4].

   * Occurence typing[5]: The typed Scheme type system.

[1] http://lambda-the-ultimate.org/node/2575
[2] http://lambda-the-ultimate.org/node/2208
[3] http://lambda-the-ultimate.org/node/3179
[4] http://www.ccs.neu.edu/home/dherman/research/papers/esop08-hygiene.pdf
[5] http://www.ccs.neu.edu/home/samth/dissertation.pdf