Standard
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. / Dussart, Dirk; Henglein, Fritz; Mossin, Christian.
Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer, 1995.
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Dussart, D, Henglein, F & Mossin, C 1995, Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. in Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer.
APA
Dussart, D., Henglein, F., & Mossin, C. (1995). Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. In Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland Springer.
Vancouver
Dussart D, Henglein F, Mossin C. Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. In Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer. 1995
Author
Dussart, Dirk ; Henglein, Fritz ; Mossin, Christian. / Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer, 1995.
Bibtex
@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",
address = "Switzerland",
}
RIS
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 -