User loginNavigation |
McBride Derivative paperHaving 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. By keithb at 2006-02-27 16:29 | LtU Forum | previous forum topic | next forum topic | other blogs | 10979 reads
|
Browse archives
Active forum topics
|
Recent comments
1 week 3 days ago
1 week 3 days ago
4 weeks 1 day ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
12 weeks 9 hours ago
12 weeks 5 days ago
12 weeks 6 days ago