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 Citationer (Scopus)

Originalsprog	Engelsk
Titel	FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture
Antal sider	12
Forlag	Association for Computing Machinery
Publikationsdato	1995
Sider	192--203
ISBN (Trykt)	0-89791-719-7
Status	Udgivet - 1995
Begivenhed	International conference on Functional programming languages and computer architecture (FPCA) - La Jolla, USA Varighed: 29 nov. 2010 → … Konferencens nummer: 17th

Konference

Konference	International conference on Functional programming languages and computer architecture (FPCA)
Nummer	17th
Land/Område	USA
By	La Jolla
Periode	29/11/2010 → …

Citationsformater

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. s. 192--203.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Henglein, F & Rehof, J 1995, Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML. i FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, s. 192--203, International conference on Functional programming languages and computer architecture (FPCA), La Jolla, USA, 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 -