Art
J-GLOBAL ID：200902173536984015   Reference number：94A0729818

Implementation of the Typed Call-by-Value λ-calculus using a Stack of Regions.

領域のスタックを用いた型付きの値呼び出しλ-計算の実現
Author (2)：
TOFTE M

About TOFTE M

(Univ. Copenhagen)

About Univ. Copenhagen

, 
TALPIN J-P

About TALPIN J-P

(European Computer-Industry Research Center)

About European Computer-Industry Research Center


Material：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the ACM Symposium on Principles of Programming Languages (Association for Computing Machinery))

About Conference Record of the Annual ACM Symposium on Principles of Programming Languages


Volume： 21st  Page： 188-201  Publication year： 1994 
JST Material Number： D0069B  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
data type

About data type

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
値呼び出し

About 値呼び出し


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0729818&from=J-GLOBAL&jstjournalNo=D0069B") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  System programmings in general 
(JD03010Y)

About System programmings in general

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
スタック

About スタック

, 
呼び出し

About 呼び出し

, 
計算

About 計算


Return to Previous Page

TOP

BOTTOM