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

Dirk Dussart, Fritz Henglein, Christian Mossin

37 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proc. 2nd Int'l Static Analysis Symposium (SAS)
Vol/bind	LNCS
Forlag	Springer
Publikationsdato	1995
Status	Udgivet - 1995
Begivenhed	Static Analysis Symposium (SAS) - Glasgow, Storbritannien Varighed: 29 nov. 2010 → …

Konference	Static Analysis Symposium (SAS)
Land/Område	Storbritannien
By	Glasgow
Periode	29/11/2010 → …

Citationsformater

@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 -