Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs.
Richard C. H. Connor:
Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs.
DBPL 1997: 97-117@inproceedings{DBLP:conf/dbpl/Connor97,
author = {Richard C. H. Connor},
editor = {Sophie Cluet and
Richard Hull},
title = {Existentially Quantified Procedures: A Mechanism for Abstracting
Type in Dynamic Typing Constructs},
booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1369},
year = {1997},
isbn = {3-540-64823-2},
pages = {97-117},
ee = {db/conf/dbpl/Connor97.html},
crossref = {DBLP:conf/dbpl/97},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [ABC83]
- Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison:
An Approach to Persistent Programming.
Comput. J. 26(4): 360-365(1983) BibTeX
- [ABM88]
- Malcolm P. Atkinson, Peter Buneman, Ronald Morrison:
Binding and Type Checking in Database Programming Languages.
Comput. J. 31(2): 99-109(1988) BibTeX
- [ACP+91]
- Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically Typed Language.
ACM Trans. Program. Lang. Syst. 13(2): 237-268(1991) BibTeX
- [ACP+95]
- Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy:
Dynamic Typing in Polymorphic Languages.
J. Funct. Program. 5(1): 111-130(1995) BibTeX
- [AM85]
- Malcolm P. Atkinson, Ronald Morrison:
Types, Bindings and Parameters in a Persistent Environment.
Data Types and Persistence (Appin) 1985: 3-20 BibTeX
- [Car85]
- ...
- [Car89]
- ...
- [CBC+90]
- Richard C. H. Connor, Alfred L. Brown, Quintin I. Cutts, Alan Dearle, Ronald Morrison, John Rosenberg:
Type Equivalence Checking in Persistent Object Systems.
POS 1990: 154-167 BibTeX
- [CM88]
- Luca Cardelli, David B. MacQueen:
Persistence and Type Abstraction.
Data Types and Persistence (Appin) 1985: 31-41 BibTeX
- [Con90]
- ...
- [Cut92]
- ...
- [CW85]
- Luca Cardelli, Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism.
ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
- [Gir72]
- ...
- [KBC+95]
- ...
- [KCC+92]
- Graham N. C. Kirby, Richard C. H. Connor, Quintin I. Cutts, Ronald Morrison, Alan Dearle, Alex Farkas:
Persistent Hyper-Programs.
POS 1992: 86-106 BibTeX
- [LM97]
- ...
- [Mat95]
- ...
- [MBC+94]
- Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson:
The Napier Type System.
POS 1989: 3-18 BibTeX
- [MP88]
- John C. Mitchell, Gordon D. Plotkin:
Abstract Types Have Existential Type.
ACM Trans. Program. Lang. Syst. 10(3): 470-502(1988) BibTeX
- [Rey74]
- ...
- [Str67]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
DBLP-6, 1997 Proceedings, Lecture Notes in Computer Science: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:06:03 2009