| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Val Tannen 36 Lucian Popa , Alin Deutsch , Arnaud Sahuguet , Val Tannen: A Chase Too Far? SIGMOD Conference 2000 : 273-284 35 Lucian Popa , Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999 : 39-57 34 Alin Deutsch , Lucian Popa , Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans. VLDB 1999 : 459-470 33 Val Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998 : 2-3 32 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) 31 Dan Suciu , Val Tannen: A Query Language for NC. JCSS 55 (2): 299-321 (1997) 30 V. S. Subrahmanian , Su-Shing Chen , James A. Hendler , Richard Hull , Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996 : 343 29 Delia Kesner , Laurence Puel , Val Tannen: A Typed Pattern Calculus. Information and Computation 124 (1): 32-61 (1996) 28 Peter Buneman , Shamim A. Naqvi , Val Tannen, Limsoon Wong : Principles of Programming with Complex Objects and Collection Types. TCS 149 (1): 3-48 (1995) 27 Dan Suciu , Val Tannen: A Query Language for NC. LCC 1994 : 503-514 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) DiSC'01 Copyright ©2002 ACM Inc. |
