Soft typing

By Robert Cartwright, M. Fagan. 2004

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

Citations in the corpus

Do Machine Learning Models Produce TypeScript Types that Type Check? (2023, background): “Soft Scheme [10] infers types for Scheme programs, but Flanagan [17, p. 41] reports that it produces unintuitive types.”
CCured: type-safe retrofitting of legacy code (2002, background): “Soft type systems [7] also infer types for procedures and data structures in dynamically-typed programs.”
Static type inference for Ruby (2009, methodology): “Our vision of DRuby was inspired by an exciting body of recent work on mixing static and dynamic typing, including ideas such as soft typing [14], the dynamic type [2], gradual typing [33], and contracts [16].”
JSTrace: Run-time Type Discovery for JavaScript (2010, background): “Fagan present Soft Typing [6], a system for bringing type checking to dynamic languages.”
Hybrid type checking (2006, background): “Hybrid type checking is inspired by prior work on soft typing [28, 42, 3, 15], but it extends soft typing by rejecting many illtyped programs, in the spirit of static type checkers.”
The ins and outs of gradual type inference (2012, background): “Soft Typing Overall, our goal is the same as that of soft typing [6]: to improve run-time performance by eliminating run-time type checks where ever possible.”
CCured: type-safe retrofitting of legacy software (2005, methodology): “Soft type systems [Cartwright and Fagan 1991] also infer types for procedures and data structures in dynamically typed programs.”
Profile-guided static typing for dynamic scripting languages (2009, methodology): “In Scheme and Functional Programming Workshop, September 2006.”
A Gradual Type System for Elixir (2020, background): “Similar to soft types [7], success typing suﬀers from the disadvantage of being quite permissive, while it is ﬂexible and more adaptable to the dynamic typing style.”