default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVal Tannen
Valeriu Breazu – Val Breazu-Tannen
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Hangdong Zhao
, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen:
Evaluating Datalog over Semirings: A Grounding-based Approach. Proc. ACM Manag. Data 2(2): 90 (2024)- [j38]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53(1): 87-95 (2024) - [i15]Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen:
Evaluating Datalog over Semirings: A Grounding-based Approach. CoRR abs/2403.12436 (2024) - 2023
- [j37]Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen:
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations. Proc. ACM Manag. Data 1(2): 151:1-151:28 (2023) - [j36]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16(7): 1601-1614 (2023) - [c69]Lawrence Dunn, Val Tannen, Steve Zdancewic:
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP 2023: 14:1-14:20 - [c68]Lawrence Dunn, Val Tannen, Steve Zdancewic:
Syntax Monads for the Working Formal Metatheorist. ACT 2023: 98-117 - 2022
- [j35]Yinjun Wu, Val Tannen, Susan B. Davidson:
Provenance-based Model Maintenance: Implications for Privacy. IEEE Data Eng. Bull. 45(1): 37-49 (2022) - [j34]Stefano Perna, Val Tannen, Limsoon Wong:
Iterating on multiple collections in synchrony. J. Funct. Program. 32: e9 (2022) - [i14]Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR abs/2203.16684 (2022) - 2021
- [c67]Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen:
Semiring Provenance for Fixed-Point Logic. CSL 2021: 17:1-17:22 - [c66]Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue:
Synchronization Schemas. PODS 2021: 1-18 - 2020
- [c65]Yinjun Wu, Val Tannen, Susan B. Davidson:
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. SIGMOD Conference 2020: 447-462 - [i13]Yinjun Wu, Val Tannen, Susan B. Davidson:
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. CoRR abs/2002.11791 (2020)
2010 – 2019
- 2019
- [c64]Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen:
Data-trace types for distributed stream processing systems. PLDI 2019: 670-685 - [i12]Erich Grädel, Val Tannen:
Provenance Analysis for Logic and Games. CoRR abs/1907.08470 (2019) - [i11]Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen:
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR abs/1910.07910 (2019) - 2018
- [j33]Abdussalam Alawini, Susan B. Davidson, Gianmaria Silvello, Val Tannen, Yinjun Wu:
Data Citation: A New Provenance Challenge. IEEE Data Eng. Bull. 41(1): 27-38 (2018) - [j32]Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen:
Provenance Analysis for Missing Answers and Integrity Repairs. IEEE Data Eng. Bull. 41(1): 39-50 (2018) - [c63]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen:
Interfaces for Stream Processing Systems. Principles of Modeling 2018: 38-60 - [r10]Val Tannen:
Conjunctive Query. Encyclopedia of Database Systems (2nd ed.) 2018 - [r9]Val Tannen:
First-Order Logic: Semantics. Encyclopedia of Database Systems (2nd ed.) 2018 - [r8]Val Tannen:
First-Order Logic: Syntax. Encyclopedia of Database Systems (2nd ed.) 2018 - [r7]Val Tannen:
Relational Algebra. Encyclopedia of Database Systems (2nd ed.) 2018 - [r6]Val Tannen:
Relational Calculus. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j31]Val Tannen:
Provenance analysis for FOL model checking. ACM SIGLOG News 4(1): 24-36 (2017) - [c62]Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen:
m-tables: Representing Missing Data. ICDT 2017: 21:1-21:20 - [c61]Todd J. Green, Val Tannen:
The Semiring Framework for Database Provenance. PODS 2017: 93-99 - [i10]Erich Grädel, Val Tannen:
Semiring Provenance for First-Order Model Checking. CoRR abs/1712.01980 (2017) - 2016
- [c60]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Algorithms for Provisioning Queries and Analytics. ICDT 2016: 18:1-18:18 - [c59]Christoph Koch, Daniel Lupei, Val Tannen:
Incremental View Maintenance For Collection Programming. PODS 2016: 75-90 - [c58]Zhepeng Yan, Val Tannen, Zachary G. Ives:
Fine-grained Provenance for Linear Algebra Operators. TaPP 2016 - 2015
- [j30]Daniel Deutch, Yuval Moskovitch, Val Tannen:
Provenance-based analysis of data-centric processes. VLDB J. 24(4): 583-607 (2015) - [c57]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. FSTTCS 2015: 52-68 - [i9]Babak Bagheri Hariri, Val Tannen:
Decidability of Equivalence of Aggregate Count-Distinct Queries. CoRR abs/1509.00100 (2015) - [i8]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. CoRR abs/1510.03252 (2015) - [i7]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Algorithms for Provisioning Queries and Analytics. CoRR abs/1512.06143 (2015) - 2014
- [j29]Daniel Deutch, Yuval Moskovitch, Val Tannen:
A Provenance Framework for Data-Dependent Process Analysis. Proc. VLDB Endow. 7(6): 457-468 (2014) - [c56]Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen:
Circuits for Datalog Provenance. ICDT 2014: 201-212 - [i6]Daniel Lupei, Christoph Koch, Val Tannen:
Incremental View Maintenance for Nested-Relational Databases. CoRR abs/1412.4320 (2014) - 2013
- [j28]Daniel Deutch, Yuval Moskovitch, Val Tannen:
PROPOLIS: Provisioned Analysis of Data-Centric Processes. Proc. VLDB Endow. 6(12): 1302-1305 (2013) - [j27]Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen:
Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. 38(3): 19 (2013) - [c55]Val Tannen:
Provenance Propagation in Complex Queries. In Search of Elegance in the Theory and Practice of Computation 2013: 483-493 - [c54]Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen:
Caravan: Provisioning for What-If Analysis. CIDR 2013 - [e6]Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents] - [e5]Alexandra Meliou, Val Tannen:
5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard, IL, USA, April 2-3, 2013. USENIX Association 2013 [contents] - 2012
- [j26]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen:
On Provenance Minimization. ACM Trans. Database Syst. 37(4): 30:1-30:36 (2012) - [i5]Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen:
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. CoRR abs/1201.0231 (2012) - 2011
- [j25]Todd J. Green, Zachary G. Ives, Val Tannen:
Reconcilable Differences. Theory Comput. Syst. 49(2): 460-488 (2011) - [j24]Sanjeev Khanna, Sudeepa Roy, Val Tannen:
Queries with Difference on Probabilistic Databases. Proc. VLDB Endow. 4(11): 1051-1062 (2011) - [j23]Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen:
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. Proc. VLDB Endow. 5(4): 346-357 (2011) - [c53]Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich:
Enabling Privacy in Provenance-Aware Workflow Systems. CIDR 2011: 215-218 - [c52]Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen:
Deriving probabilistic databases with inference ensembles. ICDE 2011: 303-314 - [c51]Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen:
On provenance and privacy. ICDT 2011: 3-10 - [c50]Sudeepa Roy, Vittorio Perduca, Val Tannen:
Faster query answering in probabilistic databases using read-once functions. ICDT 2011: 232-243 - [c49]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen:
On provenance minimization. PODS 2011: 141-152 - [c48]Yael Amsterdamer, Daniel Deutch, Val Tannen:
Provenance for aggregate queries. PODS 2011: 153-164 - [c47]Yael Amsterdamer, Daniel Deutch, Val Tannen:
On the Limitations of Provenance for Queries with Difference. TaPP 2011 - [e4]Pablo Barceló, Val Tannen:
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. CEUR Workshop Proceedings 749, CEUR-WS.org 2011 [contents] - [i4]Yael Amsterdamer, Daniel Deutch, Val Tannen:
Provenance for Aggregate Queries. CoRR abs/1101.1110 (2011) - [i3]Yael Amsterdamer, Daniel Deutch, Val Tannen:
On the Limitations of Provenance for Queries With Difference. CoRR abs/1105.2255 (2011) - 2010
- [j22]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Provenance in ORCHESTRA. IEEE Data Eng. Bull. 33(3): 9-16 (2010) - [c46]Val Tannen:
Provenance for Database Transformations. AMW 2010 - [c45]Val Tannen:
Provenance for database transformations. EDBT 2010: 1 - [c44]Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Querying data provenance. SIGMOD Conference 2010: 951-962 - [i2]Sudeepa Roy, Vittorio Perduca, Val Tannen:
Faster Query Answering in Probabilistic Databases using Read-Once Functions. CoRR abs/1012.0335 (2010)
2000 – 2009
- 2009
- [c43]Todd J. Green, Zachary G. Ives, Val Tannen:
Reconcilable differences. ICDT 2009: 212-224 - [p2]Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen:
Mediating RDF/S Queries to Relational and XML Sources. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 596-614 - [r5]Val Tannen:
Conjunctive Query. Encyclopedia of Database Systems 2009: 448-449 - [r4]Val Tannen:
First-Order Logic: Semantics. Encyclopedia of Database Systems 2009: 1138-1139 - [r3]Val Tannen:
First-Order Logic: Syntax. Encyclopedia of Database Systems 2009: 1139-1141 - [r2]Val Tannen:
Relational Algebra. Encyclopedia of Database Systems 2009: 2369-2370 - [r1]Val Tannen:
Relational Calculus. Encyclopedia of Database Systems 2009: 2370-2371 - 2008
- [j21]Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C. N. Pereira:
The ORCHESTRA Collaborative Data Sharing System. SIGMOD Rec. 37(3): 26-32 (2008) - [c42]Val Tannen:
Provenance for Database Transformations. IPAW 2008: 1 - [c41]J. Nathan Foster, Todd J. Green, Val Tannen:
Annotated XML: queries and provenance. PODS 2008: 271-280 - 2007
- [c40]Todd J. Green, Gregory Karvounarakis, Val Tannen:
Provenance semirings. PODS 2007: 31-40 - [c39]Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen:
ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference 2007: 1131-1133 - [c38]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Update Exchange with Mappings and Provenance. VLDB 2007: 675-686 - [e3]Sarah Cohen Boulakia, Val Tannen:
Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4544, Springer 2007, ISBN 978-3-540-73254-9 [contents] - 2006
- [j20]Todd J. Green, Val Tannen:
Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006) - [j19]Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen:
Mediating RDF/S Queries to Relational and XML Sources. Int. J. Semantic Web Inf. Syst. 2(4): 68-91 (2006) - [j18]Alin Deutsch, Lucian Popa, Val Tannen:
Query reformulation with constraints. SIGMOD Rec. 35(1): 65-73 (2006) - [c37]Todd J. Green, Val Tannen:
Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296 - 2005
- [j17]Alin Deutsch, Val Tannen:
XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005) - [c36]Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen:
Containment and Minimization of RDF/S Query Patterns. ISWC 2005: 607-623 - [e2]Christoph Bussler, Val Tannen, Irini Fundulaki:
Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. 2005, ISBN 3-540-24576-6 [contents] - [i1]Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen, Alin Deutsch:
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM). Semantic Interoperability and Integration 2005 - 2004
- [j16]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis:
Viewing the semantic web through RVL lenses. J. Web Semant. 1(4): 359-375 (2004) - 2003
- [j15]Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen:
The ICS-FORTH Semantic Web Integration Middleware (SWIM). IEEE Data Eng. Bull. 26(4): 11-18 (2003) - [c35]Alin Deutsch, Val Tannen:
Reformulation of XML Queries and Constraints. ICDT 2003: 225-241 - [c34]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis:
Viewing the Semantic Web through RVL Lenses. ISWC 2003: 96-112 - [c33]Vassilis Christophides, Gregory Karvounarakis, Ioanna Koffina, Giorgos Kokkinidis, Aimilia Magkanaraki, Dimitris Plexousakis, Giorgos Serfiotis, Val Tannen:
The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware. SWDB 2003: 381-393 - [c32]Alin Deutsch, Val Tannen:
MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212 - [p1]Val Tannen, Susan B. Davidson, Scott Harker:
The Information Integration System K2. Bioinformatics 2003: 225-248 - 2001
- [j14]Susan B. Davidson, Jonathan Crabtree, Brian P. Brunk, Jonathan Schug, Val Tannen, G. Christian Overton, Christian J. Stoeckert Jr.:
K2/Kleisli and GUS: Experiments in integrated access to genomic data sources. IBM Syst. J. 40(2): 512-531 (2001) - [c31]Alin Deutsch, Val Tannen:
Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39 - [c30]Alin Deutsch, Val Tannen:
Containment and Integrity Constraints for XPath. KRDB 2001 - [c29]Arnaud Sahuguet, Val Tannen:
ubQL, a Language for Programming Distributed Query Systems. WebDB 2001: 37-42 - 2000
- [c28]Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen:
A Chase Too Far? SIGMOD Conference 2000: 273-284
1990 – 1999
- 1999
- [c27]Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet:
HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA 1999 - [c26]Lucian Popa, Val Tannen:
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57 - [c25]Alin Deutsch, Lucian Popa, Val Tannen:
Physical Data Independence, Constraints, and Optimization with Universal Plans. VLDB 1999: 459-470 - 1998
- [c24]Val Tannen:
Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998: 2-3 - 1997
- [j13]Dan Suciu, Val Tannen:
A Query Language for NC. J. Comput. Syst. Sci. 55(2): 299-321 (1997) - [j12]Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong:
BioKleisli: A Digital Library for Biomedical Researchers. Int. J. Digit. Libr. 1(1): 36-53 (1997) - [c23]S. Kazem Lellahi, Val Tannen:
A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997: 261-280 - 1996
- [j11]Delia Kesner, Laurence Puel, Val Tannen:
A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996) - [c22]V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen:
Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343 - [e1]Paolo Atzeni, Val Tannen:
Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995. Electronic Workshops in Computing, Springer 1996, ISBN 3-540-76086-5 [contents] - 1995
- [j10]Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong:
Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149(1): 3-48 (1995) - 1994
- [j9]Val Tannen, Jean H. Gallier:
Polymorphic Rewriting Conserves Algebraic Confluence. Inf. Comput. 114(1): 1-29 (1994) - [j8]Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong:
Comprehension Syntax. SIGMOD Rec. 23(1): 87-96 (1994) - [c21]Val Breazu-Tannen:
Collection Types in Databases. BDA 1994 - [c20]Dan Suciu, Val Tannen:
A Query Language for NC. LCC 1994: 503-514 - [c19]Val Tannen:
Tutorial: Languages for Collection Types. PODS 1994: 150-154 - [c18]Dan Suciu, Val Tannen:
A Query Language for NC. PODS 1994: 167-178 - [c17]Dan Suciu, Val Tannen:
Efficient Compilation of High-Level Data Parallel Algorithms. SPAA 1994: 57-66 - 1993
- [j7]Val Tannen, Albert R. Meyer:
Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Informaticae 19(1/2): 1-49 (1993) - [c16]Val Tannen, Delia Kesner, Laurence Puel:
A Typed Pattern Calculus. LICS 1993: 262-274 - 1992
- [c15]Val Tannen, Peter Buneman, Limsoon Wong:
Naturally Embedded Query Languages. ICDT 1992: 140-154 - [c14]Val Tannen, Ramesh Subrahmanyam:
On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992: 161-169 - 1991
- [j6]Val Tannen, Peter Buneman, Atsushi Ohori:
Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14(2): 23-27 (1991) - [j5]Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance as Implicit Coercion. Inf. Comput. 93(1): 172-221 (1991) - [j4]Val Tannen, Jean H. Gallier:
Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. 83(1): 3-28 (1991) - [c13]Val Breazu-Tannen, Ramesh Subrahmanyam:
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991: 327-340 - [c12]Val Tannen, Peter Buneman, Shamim A. Naqvi:
Structural Recursion as a Query Language. DBPL 1991: 9-19 - [c11]Val Tannen, Ramesh Subrahmanyam:
Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75 - 1990
- [c10]Val Tannen, Carl A. Gunter, Andre Scedrov:
Computing with Coercions. LISP and Functional Programming 1990: 44-60
1980 – 1989
- 1989
- [j3]Val Tannen, Peter Buneman, Atsushi Ohori:
Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. 12(3): 5-12 (1989) - [c9]Val Tannen, Peter Buneman, Atsushi Ohori:
Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237 - [c8]Val Tannen, Jean H. Gallier:
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP 1989: 137-150 - [c7]Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance and Explicit Coercion (Preliminary Report). LICS 1989: 112-129 - [c6]Atsushi Ohori, Peter Buneman, Val Tannen:
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 - 1988
- [j2]Val Tannen, Thierry Coquand:
Extensional Models for Polymorphism. Theor. Comput. Sci. 59: 85-114 (1988) - [c5]Val Tannen:
Combining Algebra and Higher-Order Types. LICS 1988: 82-90 - 1987
- [c4]Val Tannen, Albert R. Meyer:
Polymorphism is conservative over simple types (Preliminary Report). LICS 1987: 7-17 - [c3]Val Tannen, Albert R. Meyer:
Computable Values Can Be Classical. POPL 1987: 238-245 - [c2]Val Tannen, Thierry Coquand:
Extensional Models for Polymorphism. TAPSOFT, Vol.2 1987: 291-307 - 1985
- [c1]Val Breazu-Tannen, Albert R. Meyer:
Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985: 23-40 - 1981
- [j1]Val Tannen, Octavian Stanasila:
A Generalization of Kleene's Theorem and Nondeterministic Structured Programming. Inf. Control. 51(2): 146-152 (1981)
Coauthor Index
Gregory Karvounarakis
aka: Grigoris Karvounarakis
aka: Grigoris Karvounarakis
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
