Having stumbled across Brzozowski's paper on partial derivatives of regex's I went looking for similar papers and have found manay mentions of McBride's *The Derivative of a Regular Type is its Type of One-Hole Contexts*, often with a URL.

Unfortunately, all these references I've found so far are 404 links that seem to be assorted misspellings and minor variations of http://www.dur.ac.uk/~dcs1ctm/diff.ps (which is itself 404). Anyone have a good link to this paper, or even just a softcopy?

Ta.

Keith

## Recent comments

44 min 34 sec ago

5 hours 4 min ago

6 hours 51 min ago

8 hours 12 min ago

10 hours 56 min ago

12 hours 41 min ago

13 hours 5 min ago

13 hours 7 min ago

15 hours 27 sec ago

17 hours 18 min ago