ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

ACM SIGMOD Anthology

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