Unchecked Exceptions can be Strictly More Powerful than Call/CC | Lambda the Ultimate
Unchecked Exceptions can be Strictly More Powerful than Call/CC Here'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. We demonstrate that in the context of statically-typed purely-functional lambda calculi
CiteSeerX
Documents Authors Tables Log in Sign up MetaCart DMCA Donate Documents: Advanced Search Include Citations Authors: Advanced Search Include Citations Tables: Account Home Profile Collections Tags Monitoring Submissions Login Not Registered? Create an account. Username Password Forgot your username or password? Powered by: About CiteSeerX Submit and Index Documents Privacy Policy Help Data Source Co
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Syntactic string diagrams
http://qube3.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
