Alan Bawden

I'm currently working with the Linear Naming and Computation group at Brandeis University. (We're affiliated with the Church Project.)

Here is my PGP Public Key, some files and some miscellaneous other stuff.

Publications:

• First-class Macros Have Types
  Macros aren't just about compile-time anymore! The paper and the implementation can be found here.
• Quasiquotation in Lisp
  Everything worth knowing about quasiquotation. In PostScript (66K).
• Implementing Distributed Systems Using Linear Naming
  My PhD dissertation, available in PostScript (1026K - it's not compressed). This was previously titled "Linear Graph Reduction: Confronting the Cost of Naming".
• PCLSRing: Keeping Process State Modular
  About the most interesting aspect of the ITS operating system. In lineprinter format (52K).
• Reification without Evaluation
  Demystifies the construction of self­referential systems. In PostScript (1587K - it's a scanned hardcopy).
• Syntactic Closures
  About lexically scoped macros, available here someday...
• others I haven't tracked down yet...