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  8360 reads

Browse archivesActive forum topics 
Recent comments
15 hours 41 min ago
17 hours 49 min ago
17 hours 54 min ago
18 hours 30 min ago
19 hours 53 min ago
20 hours 53 min ago
3 days 22 hours ago
4 days 7 hours ago
4 days 10 hours ago
4 days 11 hours ago