Exploring the Design Space of Higher-Order Casts
Authors:
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 17-31
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Gradual Typing for Objects2007
- Hybrid type checking2006
- Contracts for higher-order functions2002
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Dynamic typingLecture Notes in Computer Science, 1992