Logical types for untyped languages

DOI10.1145/1863543.1863561zbMath1323.68083OpenAlexW2096368963MaRDI QIDQ5176933

Matthias Felleisen, Sam Tobin-Hochstadt

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863561

zbMATH Keywords

logictype systemsuntyped languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items (5)

The Recursive Union of Some Gradual Types ⋮ Typing Local Control and State Using Flow Analysis ⋮ Sound and complete concolic testing for higher-order functions ⋮ Practical Optional Types for Clojure ⋮ Verifying Whiley programs with Boogie

This page was built for publication: Logical types for untyped languages