Mark Shields, Tim Sheard, Simon Peyton Jones  Home/Search
Context Related
| ogi.edu/~mbs/pub/dyntyping.ps.gz ogi.edu/~sheard/papers/dyntyping3.ps 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: ogi.edu/~mbs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dynamic typing extends statically typed languages with a universal datatype, simplifying programs which must manipulate other programs as data, such as distributed, persistent, interpretive and generic programs. Current approaches, however, limit the use of polymorphism in dynamic values, and can be syntactically awkward. We introduce a new approach to dynamic typing, based on staged computation, which allows a single typereconstruction algorithm to execute partly at compile time and partly at... (Update)
Cited by: More
A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (Correct)
A Generic Version of scanf Programmed in C5 - Cabezas (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
Similar documents (at the sentence level):
67.6%: Dynamic Typing as Staged Type Inference - Shields, Sheard, Jones (1998) (Correct)
Active bibliography (related documents): More All
1.3: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.0: Equational Incompleteness and Incomparability Results.. - Olivier Bastonero Equipe (Correct)
0.0: The Calculus of Constructions and Higher Order Logic - Geuvers (1992) (Correct)
Similar documents based on text: More All
0.3: On Stage Ordering in Staged Computation - Wang, Muntz (Correct)
0.2: First-Class Modules for Haskell - Shields, Jones (2001) (Correct)
0.2: On the Denotational Semantics of Staged Execution of Open Code - Pitts, Sheard (2004) (Correct)
Related documents from co-citation: More All
15: Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1989
9: Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1992
8: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
BibTeX entry: (Update)
Mark Shields, Tim Sheard, and Simon Peyton Jones. Dynamic typing as staged type inference. In Luca Cardelli, editor, Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Programming Languages, pages 289--302, San Diego, California, January 1998. ACM Press. http://citeseer.ist.psu.edu/shields98dynamic.html More
@inproceedings{ shields98dynamic,
author = "Mark Shields and Tim Sheard and Simon L. Peyton Jones",
title = "Dynamic Typing as Staged Type Inference",
booktitle = "Symposium on Principles of Programming Languages",
pages = "289-302",
year = "1998",
url = "citeseer.ist.psu.edu/shields98dynamic.html" }
Citations (may not include all citations):382 Lambda calculi with types - Barendregt - 1992 ACM
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991
261 Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1995 DBLP
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
143 A modal analysis of staged computation - Davies, Pfenning - 1996 ACM DBLP
80 A temporal logic approach to bindingtime analysis - Davies - 1996
78 Soft typing - Cartwright, Fagan - 1991 ACM DBLP
50 Information and Computation (context) - Cardelli, Martini et al. - 1994 DBLP
39 Introduction to generalized type systems (context) - Barendregt - 1991 DBLP
20 Extensional polymorphism (context) - Dubois, Rouaix et al. - 1995
13 Fifteen years later (context) - Girard, variable - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/~mbs/):
XMlambda - A Functional Language for Constructing and.. - Meijer, Shields (2000) (Correct)
Implicit Parameters: Dynamic Scoping with Static Types - Lewis, Shields, Meijer.. (2000) (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