Robert Cartwright, Mike Fagan  Home/Search
Context Related
Links: ACM DBLP | rice.edu/CS/PLT/Publi...pldi91cf.ps.gz neu.edu/scheme/pubs/....pldi91cf.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rice.edu/CS/PLT/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a soft type systems that retains the expressiveness of dynamic typing, but offers the early error detection and improved optimization capabilities of static typing. The key idea underlying soft typing is that a type checker need not reject programs containing "ill-typed" phrases. Instead, the type checker can insert explicit run-time checks, transforming "ill-typed" programs into type-correct ones. (Update)
Cited by: More
Tridirectional Typechecking - Dunfield, Pfenning (2004) (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Combining Two Forms of Type Refinements - Dunfield (2002) (Correct)
Active bibliography (related documents): More All
1.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (Correct)
0.2: Type inference for records in a natural extension of ML - Remy (1991) (Correct)
Similar documents based on text: More All
0.2: A Type is a Type is a Type - Müller, Niehren (1995) (Correct)
0.0: Practical Soft Typing - Wright (1994) (Correct)
0.0: Type Inference in the Polymorphic Relational Algebra - Van den Bussche, Waller (1999) (Correct)
Related documents from co-citation: More All
38: Soft typing with conditional types - Aiken, Wimmers et al. - 1994
28: Refinement types for ML - Freeman, Pfenning - 1991
28: Dependent types in practical programming - Xi, Pfenning - 1999
BibTeX entry: (Update)
Robert Cartwright and Mike Fagan. Soft typing. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 278--292, June 1991. http://citeseer.ist.psu.edu/cartwright91soft.html More
@inproceedings{ cartwright91soft,
author = "R. Cartwright and M. Fagan",
title = "Soft typing",
booktitle = "Proceedings of the {SIGPLAN} '91 Conference on Programming Language Design and Implementation",
pages = "278--292",
year = "1991",
url = "citeseer.ist.psu.edu/cartwright91soft.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
809 A theory of type polymorphism in programming (context) - Milner - 1978
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1989 ACM DBLP
254 Revised 3:99 Report on the Algorithmic Language Scheme - Clinger, Rees - 1990
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1983 ACM DBLP
92 Subtyping recursive types - Amadio, Cardelli - 1990 ACM DBLP
88 Typechecking records and variants in a natural extension of .. (context) - R'emy - 1989 DBLP
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1987
82 Coercion and type inference (context) - Mitchell - 1983 ACM DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991 ACM DBLP
53 Static type inference in a dynamically typed language - Aiken, Murphy - 1991 ACM DBLP
28 Quasi-static typing (context) - Thatte - 1990 ACM DBLP
27 Type Assignment in Programming Languages (context) - Martins - 1985
16 The CAML Reference Manual (context) - Weis - 1987
11 Polymorphic subtype inference: Closing the theorypractice ga.. (context) - Fuh, Mishra - 1989
10 A semantic model of types for applicative languages (context) - MacQueen, Sethi - 1982 ACM DBLP
9 Type inference with subtypes (context) - Fuh, Mishra - 1988 ACM DBLP
5 Science Research Associates (context) - Friedman, Felleisen et al. - 1989
3 Standard ML of new jersey reference manual (context) - Appel, MacQueen - 1990
1 Interprocedural dataflow type inference (context) - Cohagan, Gateley - 1990
1 Design and Implementation of a Functional Language with Subt.. (context) - Fuh - 1989 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/CS/PLT/Publications/): More
Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Reasoning about Explicit and Implicit Representations of State - Sabry, Field (1993) (Correct)
A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC