Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. / Dussart, Dirk; Henglein, Fritz; Mossin, Christian.
Proc. 2nd Int'l Static Analysis Symposium (SAS). Vol. LNCS Springer, 1995.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Dussart, D, Henglein, F & Mossin, C 1995, Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. in Proc. 2nd Int'l Static Analysis Symposium (SAS). vol. LNCS, Springer, Static Analysis Symposium (SAS), Glasgow, United Kingdom, 29/11/2010.
APA
Dussart, D., Henglein, F., & Mossin, C. (1995). Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. In Proc. 2nd Int'l Static Analysis Symposium (SAS) (Vol. LNCS). Springer.
Vancouver
Dussart D, Henglein F, Mossin C. Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. In Proc. 2nd Int'l Static Analysis Symposium (SAS). Vol. LNCS. Springer. 1995
Author
Bibtex
@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",
address = "Switzerland",
note = "null ; Conference date: 29-11-2010",
}
RIS
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
Y2 - 29 November 2010
ER -
ID: 12873370