A theory of gradual effect systems

DOI10.1145/2628136.2628149zbMATH Open1345.68037OpenAlexW2045949477MaRDI QIDQ2819692FDOQ2819692

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

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

zbMATH Keywords

abstract interpretationgradual typingtype-and-effect systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)