Barry Jay's Latest Work, etc.
This page contains some draft papers that are not yet published, but not superceded, with more recent likely to come first.
Declaring Classes in Pattern Calculus
This paper adds class, and subclass declarations to pattern calculus, support an evolving class hierarchy.
A Combinatory Account of Internal Structure
(w. Thomas Given-Wilson) describes a combinatory logic in which S and K are generalised to S and F (for factorisation). It has been accepted for publication by J. of Symbolic Logic. There are also
an old version of the paper
and
slides
from the recent Sapling talk.
Pattern Calculus: Talk Given to FP Syd
on 22nd October, 2009
Programming the Scientific Method
: if functions correspond to logic and reason then data structures correspond to experience.
Objects not Subjects!
describes the pattern-matching approach to object-orientation, as given in the bondi programming language.
How to reject a paper you don't like but don't know why
provides light-hearted advise to conference reviewers and submitters.