User loginNavigation |
Unchecked Exceptions can be Strictly More Powerful than Call/CCHere's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation.
I have to say that on seeing the title I was surprised: I cut my functional teeth on Scheme and every baby Schemer sucks up the knowledge that call/cc lets you create all manner of flow control including exceptions. But, as the paper makes clear, that's not necessarily the case in a statically-typed context. Edit: Citeseerx was not responding very well, here's an alternative URL for the paper. By James Iry at 2008-09-02 15:39 | Functional | Lambda Calculus | Type Theory | other blogs | 29274 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 5 days ago
7 weeks 13 hours ago
7 weeks 1 day ago
14 weeks 1 day ago
19 weeks 6 days ago
20 weeks 19 hours ago
20 weeks 6 days ago
23 weeks 5 days ago
25 weeks 1 day ago
25 weeks 1 day ago