H ?
«
‹
←
→
›
»
Language peer sets for Machiavelli:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Machiavelli(ID:1496/mac010)
Fucntional database language
alternate simple view
Country: United States
Designed 1989
Published: 1989
Peter Buneman & Atsushi Ohori, U Pennsylvania, 1989. An extension of Standard ML based on orthogonal persistence.
Related languages
References:
Ohori, Atsushi; Buneman, Peter; Tannen, Val (1989) Ohori, Atsushi; Buneman, Peter; Tannen, Val "Database Programming in Machiavelli, a Polymorphic Language with Static Type Inference"
Abstract
in [ACM] (1989) [ACM] Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, May 1989
Tannen, Val; Buneman, Peter; Naqvi, S. (1991) Tannen, Val; Buneman, Peter; Naqvi, S. "Structural Recursion as a Query Language"
Abstract
in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
Tannen, Val; Subrahmanyam, R. (1991) Tannen, Val; Subrahmanyam, R. "Logical and Computational Aspects of Programming with Sets/Bags/Lists" Proceedings of 18th International Colloquium on Automata, Languages, and Programming LNCS 510 1991
Abstract
in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
Tannen, Val; Buneman, Peter; Wong, Limsoon (1992) Tannen, Val; Buneman, Peter; Wong, Limsoon "Naturally Embedded Query Languages" International Conference on Database Theory (ICDT) 1992
Abstract
in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
Suciu, Dan; Tannen, Val (1994) Suciu, Dan; Tannen, Val "A Query Language for NC"
Abstract
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Tannen, Val (1994) Tannen, Val "Languages for Collection Types" Tutorial
Abstract
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Buneman, Peter; Naqvi, Shamim; Tannen, Val, Wong, (1995) Buneman, Peter; Naqvi, Shamim; Tannen, Val, Wong, Limsoon "Principles of Programming with Collection Types" Theoretical Computer Science (1995)
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Davidson, Susan; Overton, Chris; Tannen, Val; Wong (1997) Davidson, Susan; Overton, Chris; Tannen, Val; Wong, Limsoon "BioKleisli: A Digital Library for Biomedical Researchers" Journal of Digital Libraries 1997
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Lellahi, Kazem; Tannen, Val (1997) Lellahi, Kazem; Tannen, Val "A Calculus for Collections and Aggregates" LNCS 1290: Category Theory and Computer Science, Proceedings of the 7th Int'l Conference, CTCS'97 (1997)
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Buneman, Peter; Crabtree, Jonathan; Davidson, Susa (1998) Buneman, Peter; Crabtree, Jonathan; Davidson, Susan; Tannen, Val; Wong, Limsoon "BioKleisli" Bioinformatics, edited by S. Letovsky (Kluwer Academic Publishers) 1998
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Popa, Lucian; Tannen, Val (1998) Popa, Lucian; Tannen, Val "Chase and axioms for PC queries and dependencies" Technical Report MS-CIS-98-34 1998
in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|