Resources

Some ideas for projects are listed here.

Foundations of Programming Languages:

• Types and Programming Languages. This excellent book is on reserve in the CS library.
• Semantics with Applications. This book is available on-line.
• Other PL texts available on-line.
• The Revised Report on the Syntactic Theories of Sequential Control and State, by Felleisen and Hieb. This describes the context-style (my term) of operational semantics, which replaces congruence rules (as in the Pierce book) with specially constructed syntactic contexts. This style is used by a number of researchers.

Linking, Dynamic Linking, Module Systems:

• Low-level Languages
  • Linkers and Loaders original manuscript, and link to official book site.
  • Type-Safe Linking and Modular Assembly Language. This is basically an extension of Cardelli's work applied to Typed Assembly Language, and extended to include parametric polymorphism and abstract types.
  • Knit at Utah.
• Object-oriented Languages
  • Jiazzi at Utah.
  • Moby at U. Chicago and ATT.
• The Component Object Model (COM) at Microsoft.

Dynamic Software Updating:

• Automatic Software Upgrades, at MIT.

Extensible Systems:

• SPIN, at Washington.
• J-Kernel, at Cornell.

Dynamic Specialization and Compilation:

• DyC at Washington.
• Tempo at IRISA.
• `C and tcc at MIT.

Various Tidbits:

• OCaml factorial function using references to simulate the use of fixed-points.
• Proof Carrying Code and Language-based Security
• Compiling Scheme to the JVM (there are additional references on this page)