Art
J-GLOBAL ID：200902126456946920   Reference number：99A0929905

Type Inference Builds a Short Cut to Deforestation.

型推論はデフォレステーションへの近道を構築する
Author (1)：
CHITIL O

About CHITIL O

(RWTH Aachen, Aachen, DEU)

About RWTH Aachen, Aachen, DEU


Material：
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (SIGPLAN Notices)

About ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)


Volume： 34  Issue： 9  Page： 249-260  Publication year： Sep. 1999 
JST Material Number： D0915A  ISSN： 0362-1340  Document type： Article
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.
*functional programming

About functional programming

,...
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.
computational complexity

About computational complexity


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

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
型推論

About 型推論

, 
構築

About 構築


Return to Previous Page

TOP

BOTTOM