Functional References of current local interest.

• The archive of functional programming papers at SEL-HPC (Jon Hill)
• The archive of papers at Warwick (Mike Joy)
• "How to Declare an Imperative" Wadler, tutorial on the monadic style of programming.
• "A Functional Theory of Local Names" Odersky, how to distribute unique references through a program non-monadically without destroying transparency.
• "A Second Look at Overloading" Odersky & Wadler & Wehr, overloading without classes (or with one class per function) and with a reasonable semantics.
• "HOL: A Proof Generating System for Higher-Order Logic" Mike Gordon (not Andrew Gordon). This proof system has higher order logic, but not domain theory. A fusion of both can be good (see paper by Agerholm in Computer Journal 38/2).
• Descriptions of Gnu software. Currently interesting are BFD (Binary File stuff; could form basis of widely portable dynamic loading), dld (dynamic loading, narrowly portable), objdump (display object formats using BFD), Calc (supposedly good calculator), DejaGnu (generic support for testing), gdbm (database), gperf ("perfect" code optimisation), OBST (OOP stuff with dynamic loading of methods), Oleo (supposedly good spreadsheet).