An Interval-based Inference of Variant Parametric Types

Hdl Handle:
http://hdl.handle.net/10149/141233
Title:
An Interval-based Inference of Variant Parametric Types
Book Title:
Programming languages and systems
Authors:
Craciun, F. (Florin); Chin, W-N. (Wei-Ngan); He, G. (Guanhua); Qin, S. (Shengchao)
Editors:
Castagna, G. (Giuseppe)
Affiliation:
Durham University
Citation:
Craciun, F. et. al. (2009) 'An Interval-based Inference of Variant Parametric Types', ESOP '09, in Castagna, G. (ed) Programming languages and systems, Lecture notes in computer science, 5502. Berlin: Springer Verlag, pp.112-127.
Publisher:
Springer Verlag
Conference:
ESOP '09 18th European symposium on programming, York, March 25-27, 2009
Issue Date:
2009
URI:
http://hdl.handle.net/10149/141233
Additional Links:
http://esop09.pps.jussieu.fr/program.html; http://www.springerlink.com/content/j4584r5p8171/#section=69423&page=1&locus=0
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
variant parametric types; Java-like languages; use-site variance
Series/Report no.:
Lecture notes in computer science; 5502
ISBN:
9783642005893
Citation Count:
0 [Scopus, 30/08/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorCraciun, F. (Florin)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.editorCastagna, G. (Giuseppe)en
dc.date.accessioned2011-08-30T10:50:58Z-
dc.date.available2011-08-30T10:50:58Z-
dc.date.issued2009-
dc.identifier.isbn9783642005893-
dc.identifier.urihttp://hdl.handle.net/10149/141233-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries5502en
dc.relation.urlhttp://esop09.pps.jussieu.fr/program.htmlen
dc.relation.urlhttp://www.springerlink.com/content/j4584r5p8171/#section=69423&page=1&locus=0en
dc.subjectvariant parametric typesen
dc.subjectJava-like languagesen
dc.subjectuse-site varianceen
dc.titleAn Interval-based Inference of Variant Parametric Typesen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham Universityen
dc.title.bookProgramming languages and systemsen
dc.identifier.conferenceESOP '09 18th European symposium on programming, York, March 25-27, 2009en
ref.citationcount0 [Scopus, 30/08/2011]en
or.citation.harvardCraciun, F. et. al. (2009) 'An Interval-based Inference of Variant Parametric Types', ESOP '09, in Castagna, G. (ed) Programming languages and systems, Lecture notes in computer science, 5502. Berlin: Springer Verlag, pp.112-127.en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.