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

Dirk Dussart, Fritz Henglein, Christian Mossin

37 Citations (Scopus)

Abstract

Polymorphism, binding-time analysis, subtyping, qualified types, polymorphic recursion

Original language	English
Title of host publication	Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland
Publisher	Springer
Publication date	1995
Publication status	Published - 1995

@inbook{a7287b0074cc11dbbee902004c4f4f50,

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

abstract = "Polymorphism, binding-time analysis, subtyping, qualified types, polymorphic recursion",

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

year = "1995",

language = "English",

booktitle = "Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland",

publisher = "Springer",

}

TY - CHAP

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

N2 - Polymorphism, binding-time analysis, subtyping, qualified types, polymorphic recursion

AB - Polymorphism, binding-time analysis, subtyping, qualified types, polymorphic recursion

M3 - Book chapter

BT - Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland

PB - Springer

ER -