Myra VanInwegen  Home/Search
Context
Related
| upenn.edu/pub/papers/my...dynamic.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: upenn.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is was written to satisfy the requirements of the Written Preliminary Examination, Part II of the University of Pennsylvania Department of Computer and Information Sciences. The papers reviewed are [1, 3, 5]. (Update)
Active bibliography (related documents): More All
1.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Abstract Interpretation of Functional Languages: From Theory to.. - Hunt (1991) (Correct)
0.3: Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi (1991) (Correct)
Similar documents based on text: More All
0.2: Typechecking is Undecidable When 'type' is a Type - Reinhold (1989) (Correct)
0.1: An Overview of the Mjølner BETA System - Bak, Nørgaard, Sandvad, Lindskov, .. (1991) (Correct)
0.1: Inductive Bias and Genetic Programming - Whigham (1995) (Correct)
BibTeX entry: (Update)
@misc{ vaninwegen-implementing,
author = "Myra VanInwegen",
title = "Implementing Dynamic Typing in ML",
url = "citeseer.ist.psu.edu/vaninwegen94implementing.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
315 Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1989
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
163 Commentary on Standard ML (context) - Milner, Tofte - 1990
50 General Topology (context) - Willard - 1970
46 revised edition (context) - Barendregt, Calculus - 1984
3 Structures and Techniques for the Semantics of Programming L.. (context) - Gunter - 1990
1 An email exchange (context) - Cardelli, Pierce et al. - 1990
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cis.upenn.edu.html): More
User-Controlled Physics-Based Animation for Articulated.. - Kokkevis, Metaxas, Badler (1996) (Correct)
Semistructured Data - Buneman (1997) (Correct)
A Hybrid Approach to Formal Verification Applied to an ATM.. - Clarke, Lee (1996) (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