| 
| |  | |  |
Physical Data Independence, Constraints, and Optimization with Universal Plans
Note: Links lead to the DBLP on the Web.
Val Tannen
34
Lucian Popa
,
Alin Deutsch
,
Arnaud Sahuguet
, Val Tannen: A Chase Too Far?
SIGMOD Conference 2000
: 0-
33
Lucian Popa
, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views.
ICDT 1999
: 39-57
32
Alin Deutsch
,
Lucian Popa
, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans.
VLDB 1999
: 459-470
31
Val Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract).
Multimedia Information Systems 1998
: 2-3
30
Susan B. Davidson
,
G. Christian Overton
, Val Tannen,
Limsoon Wong
: BioKleisli: A Digital Library for Biomedical Researchers.
Int. J. on Digital Libraries 1
(1): 36-53 (1997)
29
Dan Suciu
, Val Tannen: A Query Language for NC.
JCSS 55
(2): 299-321 (1997)
28
Delia Kesner
,
Laurence Puel
, Val Tannen: A Typed Pattern Calculus.
Information and Computation 124
(1): 32-61 (1996)
27
Peter Buneman
,
Shamim A. Naqvi
, Val Tannen,
Limsoon Wong
: Principles of Programming with Complex Objects and Collection Types.
TCS 149
(1): 3-48 (1995)
26
Val Tannen: Tutorial: Languages for Collection Types.
PODS 1994
: 150-154
25
Dan Suciu
, Val Tannen: A Query Language for NC.
PODS 1994
: 167-178
24
Dan Suciu
, Val Tannen: Efficient Compilation of High-Level Data Parallel Algorithms.
SPAA 1994
: 57-66
23
Val Tannen,
Jean H. Gallier
: Polymorphic Rewriting Conserves Algebraic Confluence.
Information and Computation 114
(1): 1-29 (1994)
22
Peter Buneman
,
Leonid Libkin
,
Dan Suciu
, Val Tannen,
Limsoon Wong
: Comprehension Syntax.
SIGMOD Record 23
(1): 87-96 (1994)
21
Val Tannen,
Delia Kesner
,
Laurence Puel
: A Typed Pattern Calculus.
LICS 1993
: 262-274
20
Val Tannen,
Albert R. Meyer
: Conservativity of Equational Theories in Typed Lambda Calculi.
Fundamenta Informaticae 19
(1/2): 1-49 (1993)
19
Val Tannen,
Peter Buneman
,
Limsoon Wong
: Naturally Embedded Query Languages.
ICDT 1992
: 140-154
18
Val Tannen,
Ramesh Subrahmanyam
: On Extending Computational Adequacy by Data Abstraction.
LISP and Functional Programming 1992
: 161-169
17
Val Tannen,
Peter Buneman
,
Shamim A. Naqvi
: Structural Recursion as a Query Language.
DBPL 1991
: 9-19
16
Val Tannen,
Ramesh Subrahmanyam
: Logical and Computational Aspects of Programming with Sets/Bags/Lists.
ICALP 1991
: 60-75
15
Val Tannen,
Peter Buneman
,
Atsushi Ohori
: Data Structures and Data Types for Object-Oriented Databases.
Data Engineering Bulletin 14
(2): 23-27 (1991)
14
Val Tannen,
Thierry Coquand
,
Carl A. Gunter
,
Andre Scedrov
: Inheritance as Implicit Coercion.
Information and Computation 93
(1): 172-221 (1991)
13
Val Tannen,
Jean H. Gallier
: Polymorphic Rewriting Conserves Algebraic Strong Normalization.
TCS 83
(1): 3-28 (1991)
12
Val Tannen,
Carl A. Gunter
,
Andre Scedrov
: Computing with Coercions.
LISP and Functional Programming 1990
: 44-60
11
Val Tannen,
Peter Buneman
,
Atsushi Ohori
: Can Object-Oriented Databases be Statically Typed?
DBPL 1989
: 226-237
10
Val Tannen,
Jean H. Gallier
: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.
ICALP 1989
: 137-150
9
Val Tannen,
Thierry Coquand
,
Carl A. Gunter
,
Andre Scedrov
: Inheritance and Explicit Coercion (Preliminary Report).
LICS 1989
: 112-129
8
Atsushi Ohori
,
Peter Buneman
, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.
SIGMOD Conference 1989
: 46-57
7
Val Tannen,
Peter Buneman
,
Atsushi Ohori
: Static Type-checking in Object-Oriented Databases.
Data Engineering Bulletin 12
(3): 5-12 (1989)
6
Val Tannen: Combining Algebra and Higher-Order Types.
LICS 1988
: 82-90
5
Val Tannen,
Thierry Coquand
: Extensional Models for Polymorphism.
TCS 59
: 85-114 (1988)
4
Val Tannen,
Albert R. Meyer
: Polymorphism is conservative over simple types (Preliminary Report).
LICS 1987
: 7-17
3
Val Tannen,
Albert R. Meyer
: Computable Values Can Be Classical.
POPL 1987
: 238-245
2
Val Tannen,
Thierry Coquand
: Extensional Models for Polymorphism.
TAPSOFT, Vol.2 1987
: 291-307
1
Val Tannen,
Octavian Stanasila
: A Generalization of Kleene's Theorem and Nondeterministic Structured Programming.
Information and Control 51
(2): 146-152 (1981)
Copyright(C) 2000 ACM | | | | | | |
