Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs.

@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}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

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)

[ABM88]

Malcolm P. Atkinson, Peter Buneman, Ronald Morrison: Binding and Type Checking in Database Programming Languages. Comput. J. 31(2): 99-109(1988)

[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)

[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)

[AM85]

Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20

[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

[CM88]

Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41

[Con90]

...

[Cut92]

...

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[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

[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

[MP88]

John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502(1988)

[Rey74]

...

[Str67]

...