A theory of gradual effect systems

DOI10.1145/2628136.2628149MaRDI QIDQ2819692zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Gradual type-and-effect systems
• Gradual Typing for Annotated Type Systems
• Abstracting gradual typing
• Principal type schemes for gradual programs
• An effective theory of type refinements

Cited in

(5)

• Gradual type-and-effect systems
• Static blame for gradual typing
• Call-by-name gradual type theory
• Foundations of dependent interoperability
• Call-by-name gradual type theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819692)