Art

J-GLOBAL ID：200902001857899642   Reference number：88A0429142

A theory of heterogeneous sequences and its application to FP type inference.

非均一列の理論とその関数型言語FPの型推論への応用

Author (2)： AMI TAKATERU (東京工大) ,  KATAYAMA TAKUYA (東京工大)
Material： 日本ソフトウエア科学会大会論文集
Volume： 4th  Page： 187-190  Publication year： Nov. 1987 
JST Material Number： X0080A  ISSN： 0913-5391  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： computer system development ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=88A0429142&from=J-GLOBAL&jstjournalNo=X0080A") }}

JST classification (1)： System programmings in general  (JD03010Y)

Terms in the title (6)： 非均一 ,  理論 ,  関数型言語 ,  FP ,  型推論 ,  応用