Art
J-GLOBAL ID：200902175832068124   Reference number：95A0999698

Sound Polymorphic Type Inference for Objects.

オブジェクトに対する有効な多相型推論
Author (3)：
EIFRIG J

About EIFRIG J

(Johns Hopkins Univ.)

About Johns Hopkins Univ.

, 
SMITH S

About SMITH S

(Johns Hopkins Univ.)

About Johns Hopkins Univ.

, 
TRIFONOV V

About TRIFONOV V

(Johns Hopkins Univ.)

About Johns Hopkins Univ.


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： 30  Issue： 10  Page： 169-184  Publication year： Oct. 1995 
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.
object-oriented language

About object-oriented language

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0999698&from=J-GLOBAL&jstjournalNo=D0915A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Language processors 
(JD03040F)

About Language processors

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
オブジェクト

About オブジェクト

, 
多相型

About 多相型

, 
推論

About 推論


Return to Previous Page

TOP

BOTTOM