A theory of gradual effect systems

DOI10.1145/2628136.2628149zbMath1345.68037OpenAlexW2045949477MaRDI QIDQ2819692

Éric Tanter, Felipe Bañados Schwerter, Ronald Garcia

Publication date: 29 September 2016

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

Full work available at URL: http://hdl.handle.net/10533/135565

zbMATH Keywords

abstract interpretationgradual typingtype-and-effect systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Unnamed Item ⋮ Foundations of dependent interoperability ⋮ Gradual type-and-effect systems ⋮ Call-by-name Gradual Type Theory

This page was built for publication: A theory of gradual effect systems