Type Preservation as a Confluence Problem

Conference proceeding

Open access

Aaron Stump, Garrin Kimmell and Roba El Haj Omar

Leibniz International Proceedings in Informatics, LIPIcs, Vol.10, pp.345-360

01/01/2011

DOI: 10.4230/lipics.rta.2011.345

Files and links (1)

url

https://doi.org/10.4230/lipics.rta.2011.345View

Published (Version of record) Open Access

Computer Science

Title: Subtitle: Type Preservation as a Confluence Problem
Creators: Aaron Stump - Association for Computing Machinery
Garrin Kimmell - University of Iowa
Roba El Haj Omar - University of Iowa
Resource Type: Conference proceeding
Publication Details: Leibniz International Proceedings in Informatics, LIPIcs, Vol.10, pp.345-360
DOI: 10.4230/lipics.rta.2011.345
ISSN: 1868-8969
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Language: English
Date published: 01/01/2011
Academic Unit: Computer Science
Record Identifier: 9984259414702771

10 Record Views