Typed–Untyped Interactions: A Comparative Analysis

The literature presents many strategies for enforcing the integrity of types when typed code interacts with untyped code. This article presents a uniform evaluation framework that characterizes the differences among some major existing semantics for typed–untyped interaction. Type system designers c...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on programming languages and systems 2023-03, Vol.45 (1), p.1-54, Article 4
Main Authors: Greenman, Ben, Dimoulas, Christos, Felleisen, Matthias
Format: Article
Language:English
Subjects:
Constraints
Functional languages
Semantics
Software and its engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The literature presents many strategies for enforcing the integrity of types when typed code interacts with untyped code. This article presents a uniform evaluation framework that characterizes the differences among some major existing semantics for typed–untyped interaction. Type system designers can use this framework to analyze the guarantees of their own dynamic semantics.
ISSN:0164-0925
1558-4593
DOI:10.1145/3579833