Soft typing

ACM SIGPLAN Notices

Volumn 39, Issue 4, 2004, Pages 412-413

  Cartwright, Robert ^a   Fagan, Mike ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC TYPING; SLACK VARIABLES; SOFT TYPING; STATIC TYPING;

ALGORITHMS; ERROR DETECTION; MATHEMATICAL TECHNIQUES; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE ENGINEERING;

HIGH LEVEL LANGUAGES;

EID: 3142758751     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/989393.989435     Document Type: Conference Paper

References (9)

1. Alain Colmerauer. Prolog and infinite trees. In K. L. Clark and S. A. Tarnlund, editors, Logic Programming, pages 231-251. Academic Press, 1982.
2. Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982.
3. C. Flanagan, M. Flatt, S. Krishnamurthi, S. Weirich, and M. Felleisen. Catching bugs in the web of program invariants. In Proceedings of the 1996 Conference on Programming Language Design and Implementation (PLDI), 1996.
4. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 1978.
5. F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Symposium on the Principles of Programming Languages, 1999.
6. Didier Rémy. Typechecking records and variants in a natural extension of ml. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989.
7. R. A. Tapia. On the role of slack variables in quasi-newton methods for unconstrained optimization. In Numerical Optimization of Dynamical Systems. L. C. W. Dixon, 1980.
8. Mads Tofte. Operational Semantics and Polymorphic Type Inference. PhD thesis, University of Edinburgh, 1987.
9. A. Wright and R. Cartwright. A practical soft type system for Scheme. In Proceedings of Conference on LISP and functional Programming, 1994.