Standard
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. / Henglein, Fritz; Rehof, Jakob.
FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, 1995. p. 192--203.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henglein, F & Rehof, J 1995, Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. in FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, pp. 192--203, International conference on Functional programming languages and computer architecture (FPCA), La Jolla, United States, 29/11/2010.
APA
Henglein, F., & Rehof, J. (1995). Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (pp. 192--203). Association for Computing Machinery.
Vancouver
Henglein F, Rehof J. Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery. 1995. p. 192--203
Author
Henglein, Fritz ; Rehof, Jakob. / Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, 1995. pp. 192--203
Bibtex
@inproceedings{f6eb3eb004a511ddbee902004c4f4f50,
title = "Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML",
author = "Fritz Henglein and Jakob Rehof",
year = "1995",
language = "English",
isbn = "0-89791-719-7",
pages = "192----203",
booktitle = "FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
AU - Henglein, Fritz
AU - Rehof, Jakob
N1 - Conference code: 17th
PY - 1995
Y1 - 1995
M3 - Article in proceedings
SN - 0-89791-719-7
SP - 192
EP - 203
BT - FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture
PB - Association for Computing Machinery
Y2 - 29 November 2010
ER -