Space-efficient gradual typing
- 1 June 2010
- journal article
- Published by Springer Science and Business Media LLC in Higher-Order and Symbolic Computation
- Vol. 23 (2), 167-189
- https://doi.org/10.1007/s10990-011-9066-z
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Hybrid type checkingACM Transactions on Programming Languages and Systems, 2010
- Exploring the Design Space of Higher-Order CastsLecture Notes in Computer Science, 2009
- Relationally-parametric polymorphic contractsPublished by Association for Computing Machinery (ACM) ,2007
- Sound and complete models of contractsJournal of Functional Programming, 2006
- Contracts as Pairs of ProjectionsLecture Notes in Computer Science, 2006
- A tail-recursive machine with stack inspectionACM Transactions on Programming Languages and Systems, 2004
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Clean — A language for functional graph rewritingLecture Notes in Computer Science, 1987
- AmberLecture Notes in Computer Science, 1986