RICE UNIVERSITY Mike Fagan in Partial Fulfillment of the Requirements for the ...  Home/Search
Context Related
| rice.edu/CS/PLT/Pu...thesisfagan.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: In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems detect "ill-typed" program phrases at compile-time, whereas dynamic type systems detect "ill-typed" phrases at run-time. Static typing systems have two important advantages over dynamically typed systems: First, they provide important feedback to the programmer by detecting a... (Update)
Context of citations to this paper: More
...programmers, not students learning about ADTs. Its handling of recursive types and intersection types is based on the work of Fagan [Fa90] and is richer, yet more complicated, than ours. The implementation of Soft Scheme is available via ftp from the Scheme repository...
.... Milner style polymorphic type language enriched with regular recursive types and discriminative sums, in the style of soft typing [Fag90,CF91,Wri94, WC94]; in addition, we introduce the notion of coercive types: ff j tc (n) 1 ; n ) j ff: j P tc tc(...
Cited by: More
Applied Template Metaprogramming in - Siunits The Library (Correct)
Debugging via Run-Time Type Checking - Alexey Loginov Suan (2001) (Correct)
Polymorphic Type-Checking in Scheme - Jenkins, Leavens (1997) (Correct)
Similar documents based on text: More All
0.3: Approximating the Success Set of Logic Programs Using Constrained.. - Naish (2003) (Correct)
0.2: Practical Soft Typing - Wright (1994) (Correct)
0.1: Production Programming in the Classroom - Allen, Cartwright, Reis (Correct)
Related documents from co-citation: More All
8: A theory of type polymorphism in programming (context) - Milner - 1978
8: The revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
5: Soft typing - Cartwright, Fagan - 1991
BibTeX entry: (Update)
Mike Fagan. Soft Typing: An Approach to Type Checking for Dynamically Typed Languages. PhD thesis, Rice University, December 1990. http://citeseer.ist.psu.edu/fagan90soft.html More
@phdthesis{ fagan92soft,
author = "Mike Fagan",
title = "Soft Typing: An Approach to Type Checking for Dynamically Typed Languages",
pages = "174",
year = "1992",
url = "citeseer.ist.psu.edu/fagan90soft.html" }
Citations not processed or no citations identified.
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