Calculating threesomes, with blame

DOI10.1145/2500365.2500603zbMath1323.68072OpenAlexW2034224849MaRDI QIDQ5244820

Ronald Garcia

Publication date: 30 March 2015

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

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

zbMATH Keywords

coercionsspace efficiencycaststhreesomeslabeled types

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

How to evaluate the performance of gradual type systems ⋮ Blame and coercion: Together again for the first time ⋮ Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

This page was built for publication: Calculating threesomes, with blame