Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

Dirk Dussart, Fritz Henglein, Christian Mossin

37 Citations (Scopus)

Original language	English
Title of host publication	Proc. 2nd Int'l Static Analysis Symposium (SAS)
Volume	LNCS
Publisher	Springer
Publication date	1995
Publication status	Published - 1995
Event	Static Analysis Symposium (SAS) - Glasgow, United Kingdom Duration: 29 Nov 2010 → …

Conference	Static Analysis Symposium (SAS)
Country/Territory	United Kingdom
City	Glasgow
Period	29/11/2010 → …

Cite this

@inproceedings{91dde130657511de8bc9000ea68e967b,

title = "Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time",

author = "Dirk Dussart and Fritz Henglein and Christian Mossin",

year = "1995",

language = "English",

volume = "LNCS",

booktitle = "Proc. 2nd Int'l Static Analysis Symposium (SAS)",

publisher = "Springer",

note = "Static Analysis Symposium (SAS) ; Conference date: 29-11-2010",

}

TY - GEN

T1 - Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

AU - Dussart, Dirk

AU - Henglein, Fritz

AU - Mossin, Christian

PY - 1995

Y1 - 1995

M3 - Article in proceedings

VL - LNCS

BT - Proc. 2nd Int'l Static Analysis Symposium (SAS)

PB - Springer

T2 - Static Analysis Symposium (SAS)

Y2 - 29 November 2010

ER -