Robert Cartwright and Mike Fagan. Soft typing. In SIGPLAN Conf. Programming Language Design and Impl. (PLDI), volume 26, pages 278--292, 1991. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (3 citations) (Correct)
Discriminative Sum Types Locate the Source of Type Errors - Neubauer, Thiemann (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
A Type is a Type is a Type - Müller, Niehren (1995) (2 citations) (Correct)
Inference of generic types in Java - Donovan, Ernst (2003) (Correct)
Type Assignment for Intersections and Unions in.. - Dunfield, Pfenning (2003) (5 citations) (Correct)
A Scheme-to-Java Translator with Soft Typing - Nagata, Sumii, Yonezawa (Correct)
Higher-Level Hardware Synthesis - Sharp (2002) (Correct)
Type Assignment for Intersections and Unions in.. - Dunfield, Pfenning (2003) (5 citations) (Correct)
A Sketch of Complete Type Inference for Functional Programming - Widera (2001) (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (8 citations) (Correct)
An Algorithm for Checking the Disjointness of Types - Widera (2001) (Correct)
Designing an Algorithm for Role Analysis - Kuncak (2001) (Correct)
Compiling Java for High Performance and the Internet - Budimlic (2001) (Correct)
A Polymorphic Record Calculus and Its Compilation - Ohori (1995) (50 citations) (Correct)
Type Inference With Set Theoretic Type Operators - Damm (1994) (Correct)
Subtyping with Union Types, Intersection Types and Recursive Types.. - Damm (1994) (Correct)
Dynamic Typing as Staged Type Inference - Shields, Sheard, Jones (1997) (21 citations) (Correct)
Five compilation models for C++ templates - Veldhuizen (2000) (Correct)
Precise Concrete Type Inference for Object-Oriented Languages - John Plevyak Andrew (1994) (132 citations) (Correct)
Subtyping with Union Types, Intersection Types and Recursive Types.. - Damm (1994) (Correct)
Enforcing Trace Properties by Program Transformation - Colcombet, Fradet (2000) (15 citations) (Correct)
Enforcing Trace Properties by Program Transformation - Colcombet, Fradet (2000) (15 citations) (Correct)
Thesis Proposal: Data Representations and Polymorphic Languages - Morrisett (1993) (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
Combining Two Forms of Type Refinements - Dunfield (2002) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
Westley Weimer - University Of California (Correct)
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (2 citations) (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Type Refinements - Harper, Pfenning (2001) (Correct)
Paradigm Regained: Abstraction Mechanisms for Access Control - Miller, Shapiro (2003) (2 citations) (Correct)
A soft-typing system for Erlang - Nyström (2003) (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Type Assignment for Intersections and Unions - Languages (Correct)
Taming C Pointers - Necula, McPeak, Weimer (2002) (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
CCured in the Real World - Jeremy Condit Matthew (2003) (13 citations) (Correct)
Type Assignment for Intersections and Unions in - Joshua (Correct)
CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (13 citations) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
Chapter 14 - Detecting Common Elements (2000) (Correct)
Soft Scheduling for Hardware - Sharp, Mycroft (2001) (Correct)
Roles Are Really Great! - Kuncak, Lam, Rinard (2001) (Correct)
Roles Are Really Great! - Kuncak, Lam, Rinard (2001) (Correct)
Roles Are Really Great! - Kuncak, Lam, Rinard (2001) (Correct)
First 50 documents Next 50
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