Type Preservation as a Confluence Problem

DOI10.4230/LIPICS.RTA.2011.345MaRDI QIDQ5389092zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(1)

• A rewriting view of simple typing

Describes a project that uses

Uses Software

• PoplMark
• AProVE

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)