A note on type checking linear functional languages
- 期刊名称ACM SIGPLAN Notices
- 作者Syropoulos, Apostolos
- 卷第31卷
- 期第8期
- 印刷ISSN0362-1340
- 文件大小224.22KB
- 发表时间1996-08-01
- DOI10.1145/242903.242948
- 页码60-63
同作者推荐
BesprechungenE. Tiessen; Frech; Max Friederichsen-Greifswald; H. Kauffmann · 1913
BuchbesprechungenFr. Kauffmann; Edens; Max Hochrein; Büchner; E. Straus · 1935
BuchbesprechungenEdens; Fr. Kauffmann; Max Hochrein; Eppinger · 1933
Zur Kenntnis der Triphenyl-carbinole IVHugo Kauffmann; Max Egner · 1913
Über die Kondensation von Cyclopentanon mit BenzaldehydMax Kauffmann · 1908
über die Behandlung von Neuritis mit PilocarpinMax Kauffmann · 1911
Stoffwechseluntersuchungen bei einem Fall von myasthenischer Paralyse. pp. 299–314Kauffmann, Dr., Max · European Neurology · 1906