[ Bristol CS | Index ]
Functional References of current local interest.
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.
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).
Dr. Ian Holyer,
firstname.lastname@example.org. Last modified on Thursday 28 March 1996 at 12:24.