Art
J-GLOBAL ID：202002211936055705   Reference number：20A2436315

Polymorphic Gradual Typing with Holes

ホールによる多形段階的型づけ
Author (2)：
KIM Jaebyeog

About KIM Jaebyeog

(Tohoku Univ.)

About Tohoku Univ.

, 
SUMII Eijiro

About SUMII Eijiro

(Tohoku Univ.)

About Tohoku Univ.


Material：
日本ソフトウェア科学会大会講演論文集(Web)  (Proceeding of the JSSST Annual Conference (Web))

About 日本ソフトウェア科学会大会講演論文集(Web)


Volume： 37th  Page： ROMBUNNO.36-L (WEB ONLY)  Publication year： 2020 
JST Material Number： U1746A  ISSN： 1349-3515  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  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 language

About functional language

, 
semantics

About semantics

, 
polymorphism

About polymorphism

, 
specification description

About specification description

, 
*type theory

About type theory

, 
type system

About type system


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.
Hazel【プログラミング言語】

About Hazel【プログラミング言語】

, 
semantics

About semantics

, 
type theory

About type theory

, 
polymorphism

About polymorphism


JST classification (1)：
JST classification
Category name(code) classified by JST.
General-purpose programming language 
(JD03051H)

About General-purpose programming language

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
ホール

About ホール

, 
多形

About 多形

, 
段階

About 段階

, 
型づけ

About 型づけ


Return to Previous Page

TOP

BOTTOM