トップ
新規
単語検索
ヘルプ
delimited continuation
をテンプレートにして作成
開始行:
''例外なんてもう古い!? 近未来の制御演算子を学ぼう！''
(追記歓迎)
#contents
*限定継続とは? [#u1b8f2d6]
継続は「その後の計算」を表現したものです。対して、限定継...
#br
~限定継続を扱う演算子には主にshift/resetのペアとprompt/co...
#br
~shift/resetの方はCPS変換による意味論が定義しやすく、扱い...
*reset/shiftとは? [#rb0e2fcd]
- http://d.hatena.ne.jp/reinyannyan/20080219/p1
- http://community.schemewiki.org/?composable-continuatio...
- [[浅井先生によるわかりやすいshift/reset解説:http://plla...
*prompt/controlとは? [#p4b09d5d]
-[[A Monadic Framework for Delimited Continuations:http:/...
-- R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
-- newPrompt, pushPrompt, withSubCont, pushSubCont
*参考文献 [#bba437c4]
-[[Delimited Dynamic Binding:http://www.cs.indiana.edu/~s...
-- Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
-- Dynamic Binding と Delimited Continuation を同時に使お...
セマンティクスと実装について。Oleg氏と話をするならこれは...
-[[An Operational Foundation for Delimited Continuations ...
-[[星の贈り物(2006年4月の日記):http://page.freett.com/she...
-[[星の贈り物(2006年10月の日記):http://page.freett.com/sh...
-[[[kahua-dev:01027] 部分継続の使いどころはどこですか:htt...
-[[Oleg氏による Delimted Continuation への貢献:http://okm...
-- 特にdynamic control operator のOCamlへの実装(caml-shif...
。
- PLT Scheme のなかの人による解説
--[[Their Interaction with dynamic-wind:http://schemekeys...
--[[An Introduction to the Prompt Primitives:http://schem...
--[[Going Further with the Primitives:http://schemekeys.b...
--[[Odd and Ends:http://schemekeys.blogspot.com/2007/01/o...
- [[継続祭り:http://logic.cs.tsukuba.ac.jp/Continuation/]]
-- [[論文一覧:http://logic.cs.tsukuba.ac.jp/Continuation/...
-[[Polymorphic Delimited Continuations:http://logic.cs.ts...
-- 多相なshift/resetを作ったという浅井先生の論文
- [[Typed Dynamic Control Operators for Delimited Continu...
-- 型付きprompt/controlの表現能力を検証したよという亀山先...
終了行:
''例外なんてもう古い!? 近未来の制御演算子を学ぼう！''
(追記歓迎)
#contents
*限定継続とは? [#u1b8f2d6]
継続は「その後の計算」を表現したものです。対して、限定継...
#br
~限定継続を扱う演算子には主にshift/resetのペアとprompt/co...
#br
~shift/resetの方はCPS変換による意味論が定義しやすく、扱い...
*reset/shiftとは? [#rb0e2fcd]
- http://d.hatena.ne.jp/reinyannyan/20080219/p1
- http://community.schemewiki.org/?composable-continuatio...
- [[浅井先生によるわかりやすいshift/reset解説:http://plla...
*prompt/controlとは? [#p4b09d5d]
-[[A Monadic Framework for Delimited Continuations:http:/...
-- R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
-- newPrompt, pushPrompt, withSubCont, pushSubCont
*参考文献 [#bba437c4]
-[[Delimited Dynamic Binding:http://www.cs.indiana.edu/~s...
-- Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
-- Dynamic Binding と Delimited Continuation を同時に使お...
セマンティクスと実装について。Oleg氏と話をするならこれは...
-[[An Operational Foundation for Delimited Continuations ...
-[[星の贈り物(2006年4月の日記):http://page.freett.com/she...
-[[星の贈り物(2006年10月の日記):http://page.freett.com/sh...
-[[[kahua-dev:01027] 部分継続の使いどころはどこですか:htt...
-[[Oleg氏による Delimted Continuation への貢献:http://okm...
-- 特にdynamic control operator のOCamlへの実装(caml-shif...
。
- PLT Scheme のなかの人による解説
--[[Their Interaction with dynamic-wind:http://schemekeys...
--[[An Introduction to the Prompt Primitives:http://schem...
--[[Going Further with the Primitives:http://schemekeys.b...
--[[Odd and Ends:http://schemekeys.blogspot.com/2007/01/o...
- [[継続祭り:http://logic.cs.tsukuba.ac.jp/Continuation/]]
-- [[論文一覧:http://logic.cs.tsukuba.ac.jp/Continuation/...
-[[Polymorphic Delimited Continuations:http://logic.cs.ts...
-- 多相なshift/resetを作ったという浅井先生の論文
- [[Typed Dynamic Control Operators for Delimited Continu...
-- 型付きprompt/controlの表現能力を検証したよという亀山先...
ページ名:
![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
