Scheme:表示的意味論
Scheme
:表示的意味論
R5RS
までは
表示的意味論
(denotational semantics)だったが、
R6RS
では
操作的意味論
(operational semantics)になった。
黒田さん:
Three Dogmas of Scheme
住井さん:
gauche.night - sumiiの日記
zickさん:
はてなようせいとまなぶ Schemeの形式的意味論
はてなようせいとまなぶ R5RS表示的意味論
Scheme:操作的意味論
?
Tag:
gauche.night
Last modified : 2013/05/05 22:33:02 UTC