2024-03-29T00:48:52Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00037071
2023-12-13T04:34:57Z
152:1945
3:62:5616:706
限定継続機構とfutureを持つ計算体系の透過的意味論
Transparent Semantics of a Calculus with Delimited Control and Future
田中, 麻峰
亀山, 幸義
カメヤマ, ユキヨシ
KAMEYAMA, Yukiyoshi
open access
一般社団法人情報処理学会
一般社団法人情報処理学会
Information Processing Society of Japan (IPSJ)
2013-08-15
jpn
journal article
VoR
http://hdl.handle.net/2241/00135122
https://tsukuba.repo.nii.ac.jp/records/37071
http://id.nii.ac.jp/1001/00094780/
本文データは学協会の許諾に基づきCiNiiから複製したものである
0387-5806
AN00116647
情報処理学会論文誌
IPSJ Journal
54
8
1996
2011
https://tsukuba.repo.nii.ac.jp/record/37071/files/IPSJ-JNL5408002.pdf
application/pdf
516.4 kB