Andrew Wright, Robert Cartwright  Home/Search
Context Related
| rice.edu/CS/PLT/Public...lfp94wc.ps.gz com/starlab.com/wright/lfp94.ps.gz intertrust.com/star/wrigh...lfp94.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) From: intertrust.com/star/wrig...papers Homepages: A.Wright |
Rate this article:      (best)Comment on this article |
Abstract: Soft typing is a generalization of static type checking that accommodates both dynamic typing and static typing in one framework. A soft type checker infers types for identifiers and inserts explicit run-time checks to transform untypable programs to typable form. Soft Scheme is a practical soft type system for R4RS Scheme. The type checker uses a representation for types that is expressive, easy to interpret, and supports efficient type inference. Soft Scheme supports all of R4RS Scheme,... (Update)
Cited by: More
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (Correct)
Similar documents (at the sentence level):
37.0%: A Practical Soft Type System for Scheme - Wright, Cartwright (1993) (Correct)
23.7%: Practical Soft Typing - Wright (1994) (Correct)
Active bibliography (related documents): More All
0.3: A Practical Approach to Type Inference for EuLisp - Kind, Friedrich (1993) (Correct)
0.3: A Practical Approach to Type Inference in EuLisp - Kind, Friedrich (1993) (Correct)
0.3: Analysis of Recursive Types in an Imperative Language - Wang (1994) (Correct)
Similar documents based on text: More All
0.2: A Type is a Type is a Type - Müller, Niehren (1995) (Correct)
0.1: DrJava: A lightweight pedagogic environment for Java - Eric Allen Robert (2002) (Correct)
0.1: Safe polymorphic type inference for a Dynamically Typed.. - Henglein, Rehof (1995) (Correct)
Related documents from co-citation: More All
20: Soft typing - Cartwright, Fagan - 1991
18: Soft typing with conditional types - Aiken, Wimmers et al. - 1994
17: Set-based analysis of ML programs (context) - Heintze - 1994
BibTeX entry: (Update)
Andrew K. Wright and Robert Cartwright. A practical soft type system for Scheme. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming, pages 250--262, 1994. http://citeseer.ist.psu.edu/article/wright94practical.html More
@article{ wright97practical,
author = "Andrew K. Wright and Robert Cartwright",
title = "A Practical Soft Type System for Scheme",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "19",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "87--152",
year = "1997",
url = "citeseer.ist.psu.edu/article/wright94practical.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
176 Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
165 Set based analysis of ML programs (context) - Heintze - 1993
160 The principal type-scheme of an object in combinatory logic (context) - Hindley - 1969
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
92 Subtyping recursive types - Amadio, Cardelli - 1990
88 Typechecking records and variants in a natural extension of .. (context) - R'emy - 1989
78 Soft typing - Cartwright, Fagan - 1991
58 Type inference in the presence of overloading (context) - Kaes - 1992
57 Type inference for records in a natural extension of ML (context) - R'emy - 1991
48 Global tagging optimization by type inference - Henglein - 1992
39 Type inference with partial types (context) - Thatte - 1988
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
35 Partial type inference for untyped functional programs (context) - Gomard - 1990
28 Quasi-static typing (context) - Thatte - 1990
22 Type inference for partial types is decidable (context) - O'Keefe, Wand - 1992
13 A scheme for the automatic inference of variable types (context) - Kaplan, Ullman - 1980
13 Soft Typing: An Approach to Type Checking for Dynamically Ty.. - Fagan - 1990
10 A practical approach to type inference in EuLisp - Kind, Friedrich - 1993
9 TICL---a type inference system for Common Lisp (context) - Ma, Kessler - 1990
7 Preliminary report on a practical type inference system for .. (context) - Beer - 1987
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)
Program Verification through Soft Typing - Cartwright, Felleisen (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