Monotonic References for Efficient Gradual Typing

DOI10.1007/978-3-662-46669-8_18zbMath1335.68069OpenAlexW753900477MaRDI QIDQ2802447

Michael M. Vitousek, Jeremy G. Siek, Matteo Cimini, Ronald Garcia, Sam Tobin-Hochstadt

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_18

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

How to evaluate the performance of gradual type systems ⋮ Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

This page was built for publication: Monotonic References for Efficient Gradual Typing