Type Preservation as a Confluence Problem

DOI10.4230/LIPICS.RTA.2011.345zbMATH Open1236.68153OpenAlexW1606615329MaRDI QIDQ5389092FDOQ5389092

Authors: Aaron Stump, Garrin Kimmell, Roba El Haj Omar 

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6010.html

Recommendations

• Type assignment and conservation properties
• The intersection type unification problem
• Type-based confinement
• scientific article; zbMATH DE number 3930968
• A unifying framework for type inhabitation
• scientific article; zbMATH DE number 18625
• Type theory and concurrency
• Type Processing by Constraint Reasoning
• Type sharing constraints and undecidability

zbMATH Keywords

confluenceterm rewritingtype safety

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Cited In (1)

• A rewriting view of simple typing

Uses Software

• AProVE
• PoplMark

This page was built for publication: Type Preservation as a Confluence Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389092)