The Trellis Programming Environment.

Patrick D. O'Brien, Daniel C. Halbert, Michael F. Kilian

Browse the full OOPSLA paper archive.