Exploring the Design Space of Higher-Order Casts
Top Cited Papers
- 1 January 2009
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Gradual Typing for ObjectsLecture Notes in Computer Science, 2007
- Hybrid type checkingPublished by Association for Computing Machinery (ACM) ,2006
- Contracts for higher-order functionsPublished by Association for Computing Machinery (ACM) ,2002
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Dynamic typingLecture Notes in Computer Science, 1992