A Type System for Algebraic Database Programming Languages.
Dean Jacobs:
A Type System for Algebraic Database Programming Languages.
DBPL 1989: 238-247@inproceedings{DBLP:conf/dbpl/Jacobs89,
author = {Dean Jacobs},
editor = {Richard Hull and
Ronald Morrison and
David W. Stemple},
title = {A Type System for Algebraic Database Programming Languages},
booktitle = {Proceedings of the Second International Workshop on Database
Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
Beach, Oregon},
publisher = {Morgan Kaufmann},
year = {1989},
isbn = {1-55860-072-8},
pages = {238-247},
ee = {db/conf/dbpl/Jacobs89.html},
crossref = {DBLP:conf/dbpl/89},
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
- [DH88]
- Roland Dietrich, Frank Hagl:
A Polymorphic Type System with Subtypes for Prolog.
ESOP 1988: 79-93 BibTeX
- [GM86]
- ...
- [HV87]
- Martin Huber, Igor Varsek:
Extended Prolog for Order-Sorted Resolution.
SLP 1987: 34-43 BibTeX
- [Llo84]
- John W. Lloyd:
Foundations of Logic Programming, 1st Edition.
Springer 1984, ISBN 3-540-13299-6
BibTeX
- [Mil78]
- Robin Milner:
A Theory of Type Polymorphism in Programming.
J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX
- [Mis84]
- Prateek Mishra:
Towards a Theory of Types in Prolog.
SLP 1984: 289-298 BibTeX
- [MO84]
- Alan Mycroft, Richard A. O'Keefe:
A Polymorphic Type System for Prolog.
Artif. Intell. 23(3): 295-307(1984) BibTeX
- [MR85]
- Prateek Mishra, Uday S. Reddy:
Declaration-Free Type Checking.
POPL 1985: 7-21 BibTeX
- [PR89]
- Changwoo Pyo, Uday S. Reddy:
Inference of Polymorphic Types for Logic Programs.
NACLP 1989: 1115-1132 BibTeX
- [Red88]
- ...
- [Smo88]
- Gert Smolka:
Logic Programming with Polymorphically Order-Sorted Types.
ALP 1988: 53-70 BibTeX
- [Wal88]
- Christoph Walther:
Many-sorted unification.
J. ACM 35(1): 1-17(1988) BibTeX
- [War77]
- ...
- [YS87]
- ...
- [Zob87]
- Justin Zobel:
Derivation of Polymorphic Types for PROLOG Programs.
ICLP 1987: 817-838 BibTeX
Referenced by
- Yves Caseau, Laurent Perron:
A Type System for Object-Oriented Database Programming and Querying Languages.
DBPL 1991: 218-235
- Richard Hull, Masatoshi Yoshikawa:
ILOG: Declarative Creation and Manipulation of Object Identifiers.
VLDB 1990: 455-468
- Malcolm P. Atkinson:
Questioning Persistent Types.
DBPL 1989: 2-24
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
DBLP-2, 1989 Proceedings: Copyright © by Morgan Kaufmann Publishers, 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:05:54 2009