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

Browse archivesActive forum topics
New forum topics 
Recent comments
10 hours 43 min ago
11 hours 30 min ago
15 hours 49 min ago
16 hours 49 min ago
17 hours 20 min ago
21 hours 16 min ago
1 day 3 hours ago
1 day 13 hours ago
1 day 13 hours ago
1 day 13 hours ago