Union and intersection types to support both dynamic and static typing

DOI10.1016/j.ipl.2010.12.006zbMath1260.68052OpenAlexW2168779926MaRDI QIDQ1944090

Francisco Ortin, Miguel Angel Garcia

Publication date: 4 April 2013

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10651/8732

zbMATH Keywords

program specificationprogramming languagesformal languagescompilerstype systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

StaDyn

Uses Software

• Visual Basic
• Ruby

Cites Work

• Efficient virtual machine support of runtime structural reflection
• Intersection and union types: Syntax and semantics
• Idealized coinductive type systems for imperative object-oriented programs
• Unnamed Item

This page was built for publication: Union and intersection types to support both dynamic and static typing