Art
J-GLOBAL ID：202002275341436674   Reference number：20A0855198

Dynamic type inference for gradual Hindley-Milner typing

段階的Hindley-Milnerタイピングのための動的型推論【JST・京大機械翻訳】
Author (3)：
Miyazaki Yusuke

About Miyazaki Yusuke

(Kyoto University, Japan)

About Kyoto University, Japan

, 
Sekiyama Taro

About Sekiyama Taro

(National Institute of Informatics, Japan)

About National Institute of Informatics, Japan

, 
Igarashi Atsushi

About Igarashi Atsushi

(Kyoto University, Japan)

About Kyoto University, Japan


Material：
Proceedings of the ACM on Programming Languages

About Proceedings of the ACM on Programming Languages


Volume： 3  Issue： POPL  Page： 1-29  Publication year： 2019 
JST Material Number： W5683A  ISSN： 2475-1421  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary 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.
Garcia and Cimini study a type...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0855198&from=J-GLOBAL&jstjournalNo=W5683A") }}
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.
algorithm

About algorithm

, 
semantics

About semantics

, 
language

About language

, 
completeness

About completeness

, 
formulation

About formulation

, 
*type inference

About type inference

, 
soundness

About soundness


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 中間言語

, 
実行時間

About 実行時間

, 【Automatic Indexing@JST】
Author keywords (3)：
dynamic type inference

About dynamic type inference

, 
gradual guarantee

About gradual guarantee

, 
gradual typing

About gradual typing

JST classification (3)：
JST classification
Category name(code) classified by JST.
Applied programming languages 
(JD03052Y)

About Applied programming languages

,  Theory of computation 
(JB02000A)

About Theory of computation

,  General-purpose programming language 
(JD03051H)

About General-purpose programming language

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
段階

About 段階

, 
タイピング

About タイピング

, 
型推論

About 型推論


Return to Previous Page

TOP

BOTTOM