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 OneHole 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 20060227 16:29  LtU Forum  previous forum topic  next forum topic  other blogs  8256 reads

Browse archivesActive forum topics
New forum topics 
Recent comments
1 day 9 min ago
1 day 1 hour ago
1 day 1 hour ago
1 day 1 hour ago
1 day 3 hours ago
1 day 11 hours ago
1 day 12 hours ago
1 day 13 hours ago
1 day 13 hours ago
1 day 13 hours ago