Shail Aditya Gupta  Home/Search
Context Related
| mit.edu:8001/Users/...phdproposal.ps.Z mit.edu/Users/shail...phdproposal.ps.Z mit.edu:8001/Users/...phdproposal.ps.Z 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: mit.edu:8001/Users/shail/pubs (more) From: mit.edu/Users/shail/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion Functional Language Layer Loops and Procedures Application Layer Library Layer Figure 1: The Layered Design of the Id Language. imperative data-structures (I-structures and M-structures [2, 3]) that cater to imperative styles of programming. Id is a layered language by design (see Figure 1). The primitive I-structure and Mstructure datatypes are the basic memory synchronization mechanisms in the Id kernel language, and are used to represent all higher level data-structures such as arrays,... (Update)
Context of citations to this paper: More
...side condition on the static close rule and Proposition 2. A proof sketch for this case is provided in the appendix. The details appear in [4]. The soundness theorem immediately leads us to the following corollary that guarantees that objects with a closed functional type can...
Cited by: More
A Type System for Functional Imperative Programming (Technical .. - Aditya, Coorg (1994) (Correct)
Similar documents (at the sentence level):
29.6%: Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (Correct)
Active bibliography (related documents): More All
0.6: An Incremental Type Inference System for the Programming Language Id - Gupta (1990) (Correct)
0.4: Standard ML Weak Polymorphism Can Be Sound - Greiner (1993) (Correct)
0.2: Standard ML of New Jersey - Appel, MacQueen (1991) (Correct)
Similar documents based on text: More All
0.4: ID Language Reference Manual Version 90.1 - Nikhil (1991) (Correct)
0.2: Cycle-time Aware Architecture Synthesis of Custom Hardware.. - Sivaraman, Aditya (2002) (Correct)
0.2: Design Problem Solving by Functional Abstraction - Stein (2002) (Correct)
BibTeX entry: (Update)
Shail Aditya Gupta. A Typed Approach to Layered Programming Language Design. PhD thesis, Massachusetts Institute of Technology, December 1994. (In Preparation). http://citeseer.ist.psu.edu/gupta94typed.html More
@misc{ gupta94typed,
author = "S. Gupta",
title = "A Typed Approach to Layered Programming Language Design",
text = "Shail Aditya Gupta. A Typed Approach to Layered Programming Language Design.
PhD thesis, Massachusetts Institute of Technology, December 1994. (In Preparation).",
year = "1994",
url = "citeseer.ist.psu.edu/gupta94typed.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
809 A theory of type polymorphism in programming (context) - Milner - 1978
634 A Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
484 Common Lisp: The Language (context) - Jr - 1990
343 Principal Type-schemes for Functional Programs (context) - Damas, Milner - 1982
227 Kernighan and Dennis M (context) - Brian - 1988
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
152 Structures: Data Structures for Parallel Computing - Rishiyur, Nikhil et al. - 1989
138 Type Inference for Polymorphic References (context) - Tofte - 1990
113 a nonstrict purely functional language (context) - Hudak, Wadler et al. - 1990
99 Polymorphic Effect Systems (context) - Lucassen, Gifford - 1988
82 Typeful Programming - Cardelli - 1989
66 Algebraic Reconstruction of Types and Effects - Jouvelot, Gifford - 1991
54 Type Assignment in Programming Languages (context) - Damas - 1985
41 Polymorphic type inference and assignment - Leroy, Weis - 1991
30 Polymorphic Typing of an Algorithmic Language - Leroy - 1992
29 Polymorphism by name for references and continuations (context) - Leroy - 1993
20 Typing References by Effect Inference - Wright - 1992
18 The Type and Effect Discipline (context) - Talpin, Jouvelot - 1992
18 Id Language Reference Manual Version - Nikhil - 1991
12 Atomic Data Structures for Parallel Computing (context) - Barth - 1992
12 Standard ML weak polymorphism and imperative constructs (context) - Hoang, Mitchell et al. - 1993
11 MIT Laboratory for Computer Science (context) - Gifford, Jouvelot et al. - 1987
8 Report on the FX-91 Programming Language - Gifford, Jouvelot et al. - 1991
4 Distributed along with the Standard ML of New Jersey Compile.. (context) - Appel, MacQueen et al. - 1989
4 Type Abstraction Rules for References: A comparison of four .. (context) - O'Toole - 1991
Documents on the same site (http://foothill.lcs.mit.edu:8001/Users/shail/pubs.html): More
Normalizing Strategies for Multithreaded Interpretation and.. - Aditya (1995) (Correct)
Assessing the Partial Evaluation Technology and its Applicability.. - Gupta (1991) (Correct)
Incremental Polymorphism - Aditya, Nikhil (1991) (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