Dynamic typing with dependent types

IFIP Advances in Information and Communication Technology

Volumn 155, Issue , 2004, Pages 437-450

  Ou, Xinming ^a   Tan, Gang ^a   Mandelbaum, Yitzhak ^a   Walker, David ^a  

^a Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY;

COMPILE TIME; DEPENDENT TYPE SYSTEM; DEPENDENT TYPES; DEPENDENTLY TYPED PROGRAMMING; DYNAMIC TYPING; FINE-GRAINED CONTROL; PROGRAM FRAGMENTS; TYPE CHECKER;

ECONOMIC AND SOCIAL EFFECTS;

EID: 84901048150     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8141-3_34     Document Type: Conference Paper

References (13)

1. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
2. Alex Aiken, Edward L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 163-173, January 1994.
3. R. Cartwright and M. Fagan. Soft typing. In ACM Conference on Programming Language Design and Implementation, pages 278-292, 1991.
4. R. Cartwright and M. Fagan. A practical soft type system for Scheme. ACM transactions on programming languages and systems, 19(1):87-152, January 1997.
5. Rob Deline and Manuel Fähndrich. Enforcing high-level protocols in low-level software. In ACM Conference on Programming Language Design and Implementation, pages 59-69, Snowbird, Utah, June 2001. ACM Press.
6. Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In ACM International Conference on Functional Programming, pages 48-59, Pittsburgh, October 2002. ACM Press.
7. Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, OR, January 1994.
8. George C. Necula, Scott McPeak, and Westley Weimer. Ccured: Type-safe retrofitting of legacy code. In ACM Symposium on Principles of Programming Languages, London, January 2002. ACM Press.
9. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. Dynamic typing with dependent types. Technical Report TR-695-04, Department of Computer Science, Princeton University, 2004.
10. S. Thatte. Quasi-static typing. In Seventeenth ACM Symposium on Principles of Programming Languages, pages 367-381, January 1990.
11. David Walker. A type system for expressive security policies. In Twenty-Seventh ACM Symposium on Principles of Programming Languages, pages 254-267, Boston, January 2000.
12. Hongwei Xi and Frank Pfenning. Eliminating array bound checking through dependent types. In ACM Conference on Programming Language Design and Implementation, pages 249-257, Montreal, June 1998.
13. Christoph Zenger. Indexed types. In Theoretical Computer Science, volume 187, pages 147-165. Elsevier, November 1997.