Sage: Hybrid checking for flexible specifications (2006)

by Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , Cormac Flanagan
Venue:In Scheme and Functional Programming Workshop
Citations:27 - 1 self

Documents Related by Co-Citation

64 Gradual Typing for Functional Languages – Jeremy G. Siek, Walid Taha - 2006
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
118 Hybrid type checking – C Flanagan - 2006
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
64 The design and implementation of typed scheme – S Tobin-Hochstadt, M Felleisen - 2008
52 Quasi-static typing – S Thatte - 1990
38 Interlanguage migration: From scripts to programs – S Tobin-Hochstadt, M Felleisen - 2006
33 Operational Semantics for Multi-Language Programs – Jacob Matthews, et al. - 2007
24 Space-efficient gradual typing – David Herman, Aaron Tomb, Cormac Flanagan - 2007
46 Gradual typing for objects – Jeremy Siek, Walid Taha - 2007
702 Types and programming languages – Benjamin C Pierce - 2002
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
28 Contracts as pairs of projections – Robert Bruce Findler - 2006
48 Dynamic typing: Syntax and proof theory – F Henglein - 1994
32 Static typing where possible, dynamic typing when needed – E Meijer, P Drayton - 2005
24 M.: Fine-grained interoperability through mirrors and contracts – K E Gray, R B Findler, Flatt - 2005
31 Dynamic typing with dependent types – Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker - 2004
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002