Art

J-GLOBAL ID：202002278625887576   Reference number：20A0778680

Finitary polymorphism for optimizing type-directed compilation

型指向コンパイルを最適化するための有限多形【JST・京大機械翻訳】

Author (3)： Ohori Atsushi (Tohoku University, Japan) ,  Ueno Katsuhiro (Tohoku University, Japan) ,  Mima Hisayuki (Tohoku University, Japan)
Material： Proceedings of the ACM on Programming Languages
Volume： 2  Issue： ICFP  Page： 1-29  Publication year： 2018 
JST Material Number： W5683A  ISSN： 2475-1421  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： We develop a type-theoretical ...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0778680&from=J-GLOBAL&jstjournalNo=W5683A") }}

Thesaurus term： operational semantics ,  optimization method ,  data representation ,  performance evaluation ,  compiler ,  *optimization ,  soundness ,  type theory ,  benchmark ,  effectiveness ,  lamda calculation ,  outer space ,  language
Semi thesaurus term： 再構成アルゴリズム ,  *コンパイル , 【Automatic Indexing@JST】

Author keywords (5)： Compiler Optimization ,  Finitary Polymorphism ,  SML# ,  Second-Order Lambda Calculus ,  Type-Directed Compilation

JST classification (1)： General-purpose programming language  (JD03051H)

Terms in the title (4)： 型 ,  コンパイル ,  最適化 ,  多形