Constructor Subtyping

AuthID
P-001-66C
2
Author(s)
Barthe, G
·
1
Editor(s)
Swierstra, SD
Document Type
Article
Year published
1999
Published
in PROGRAMMING LANGUAGES AND SYSTEMS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1576, Pages: 109-127 (19)
Conference
Joint European Conference on Theory and Practice of Software (Etaps 99), Date: MAR 22-28, 1999, Location: AMSTERDAM, NETHERLANDS, Sponsors: KPN Res, Phillips Res, EU Programme Training & Mobil Researchers, CWI, Univ Amsterdam, European Assoc Programming Languages & Syst, European Assoc Theoret Comp Sci
Indexing
Publication Identifiers
Wos: WOS:000083613400008
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.