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

1 hour 1 min ago

1 day 8 hours ago

1 day 18 hours ago

2 days 4 hours ago

2 days 7 hours ago

2 days 7 hours ago

2 days 11 hours ago

2 days 15 hours ago

2 days 15 hours ago

2 days 20 hours ago