(Enter summary)
Abstract: types have existential type". 12th ACM
Symposium on Principles of Programming Languages, New Orleans, (January
1985), 37-51.
[SFS90] Stemple, D., Fegaras, L., Sheard, T. & Socorro, A. "Exceeding the Limits of
Polymorphism in Database Programming Languages". Advances in Database
Technology - EDBT90, Venice. In Lecture Notes in Computer Science. 416.
Springer-Verlag (1990), pp. 269-285.
[Str67] Strachey, C. "Fundamental concepts in programming languages". Oxford
University, Oxford (1967).
[Tur79] ... (Update)
Cited by: More
Typed Closure Conversion - Yasuhiko Minamide Greg
(Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper
(Correct)
Compiling with Non-Parametric Polymorphism - Preliminary Report Robert
(Correct)
Active bibliography (related documents): More All
0.5: Orthogonal Persistence and Ada - Crawley, Oudshoorn (1994)
(Correct)
0.1: On the Integration of Concurrency, Distribution and Persistence - Munro (1993)
(Correct)
0.1: Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992)
(Correct)
Similar documents based on text: More All
1.5: A Genetic Persistent Object Store - Brown, Morrison (1992)
(Correct)
1.5: Environments: A flexible binding mechanism to support system.. - Dearle (1989)
(Correct)
1.0: The Implementation of a Hyper-Programming System - Kirby, al. (1993)
(Correct)
Related documents from co-citation: More All
21: Unboxed objects and polymorphic typing
- Leroy - 1992
21: Compiling with Continuations (context) - Appel - 1992
19: Tag-free garbage collection using explicit type parameters
- Tolmach
BibTeX entry: (Update)
R. Morrison, A. Dearle, R. C. H. Connor, and A. L. Brown. An ad hoc approach to the implementation of polymorphism. ACM Transactions on Programming Languages and Systems, 13(3):342--371, July 1991. http://citeseer.ist.psu.edu/142873.html More
@article{ morrison91ad,
author = "R. Morrison and A. Dearle and R. C. H. Connor and A. L. Brown",
title = "An Ad Hoc Approach to the Implementation of Polymorphism",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "13",
number = "3",
month = "July",
publisher = "ACM Press",
pages = "342--371",
year = "1991",
url = "citeseer.ist.psu.edu/142873.html" }
Citations (may not include all citations):
193
An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983 ACM DBLP
38
Procedures as persistent data objects (context) - Atkinson, Morrison - 1985 ACM DBLP
27
The Persistent Abstract Machine (context) - Brown, Carrick et al. - 1988 ACM DBLP
2
Galileo : A Strongly Typed Conceptual Language (context) - Albano, Cardelli et al. - 1985
1
25 let X = this let iTagOffset = 0 let iTag = X (context) - Birtwistle, Dahl et al. - 1973
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.dcs.gla.ac.uk.html): More
Space-saving Optimisations for the Glasgow Haskell Compiler - O'Sullivan (1994)
(Correct)
ESPRIT Basic Research Action 6309 FIDE - Deliverable Id
(Correct)
Formally Based Profiling for Higher-Order Functional Languages - Sansom, Jones (1997)
(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