Abstracting gradual references
Authors:
- Matías ToroMTMatías Toro
- Éric TanterÉTÉric Tanter
- 1 October 2020
- journal article
- conference paper
- Published by Elsevier in Science of Computer Programming
- Vol. 197
Abstract
No abstract availableKeywords
Funding Information
- Fondo Nacional de Desarrollo Científico y Tecnológico
This publication has 6 references indexed in Scilit:
- Type-Driven Gradual Security with ReferencesACM Transactions on Programming Languages and Systems, 2018
- Gradual type-and-effect systemsJournal of Functional Programming, 2016
- Foundations of Typestate-Oriented ProgrammingACM Transactions on Programming Languages and Systems, 2014
- Space-efficient gradual typingHigher-Order and Symbolic Computation, 2010
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940