Gradual Typing Using Union Typing With Records
Open Access
- 24 November 2020
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 354, 171-186
- https://doi.org/10.1016/j.entcs.2020.10.013
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Sums of uncertainty: refinements go gradualACM SIGPLAN Notices, 2017
- The gradualizer: a methodology and algorithm for generating gradual type systemsACM SIGPLAN Notices, 2016
- Foundations of Typestate-Oriented ProgrammingACM Transactions on Programming Languages and Systems, 2014
- Space-efficient gradual typingHigher-Order and Symbolic Computation, 2010