Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

Fritz Henglein; Jakob Rehof

Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

25 Citations (Scopus)

Original language	English
Title of host publication	FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture
Number of pages	12
Publisher	Association for Computing Machinery
Publication date	1995
Pages	192--203
ISBN (Print)	0-89791-719-7
Publication status	Published - 1995
Event	International conference on Functional programming languages and computer architecture (FPCA) - La Jolla, United States Duration: 29 Nov 2010 → … Conference number: 17th

Conference

Conference	International conference on Functional programming languages and computer architecture (FPCA)
Number	17th
Country/Territory	United States
City	La Jolla
Period	29/11/2010 → …

Cite this

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

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.

@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 = "International conference on Functional programming languages and computer architecture (FPCA) ; Conference date: 29-11-2010",

}

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

T2 - International conference on Functional programming languages and computer architecture (FPCA)

Y2 - 29 November 2010

ER -