Iterating on multiple collections in synchrony von PERNA, STEFANO, TANNEN, VAL, WONG, LIMSOON

Volltext

Mediating RDF/S Queries to Relational and XML Sources von Koffina, I, Serfiotis, G, Christophides, V, Tannen, V

Volltext

Principles of programming with complex objects and collection types von Buneman, Peter, Naqvi, Shamim, Tannen, Val, Wong, Limsson

Volltext

Deriving probabilistic databases with inference ensembles von Stoyanovich, J, Davidson, S, Milo, T, Tannen, V

Volltext

HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents von Silverman, B G, Sokolsky, O, Tannen, V, Wong, A, Lang, L, Khoury, A, Campbell, K, Qiang, C, Sahuguet, A

Volltext

An equational chase for path-conjunctive queries, constraints, and views von POPA, L, TANNEN, V

Volltext

Extensional models for polymorphism von Breazu-Tannen, Val, Coquand, Thierry

Volltext

BioKleisli: a digital library for biomedical researchers von Davidson, S. B., Overton, C., Tannen, V., Wong, L.

Volltext

A calculus for collections and aggregates von Lellahi, Kazem, Tannen, Val

Volltext

Inheritance as implicit coercion von Breazu-Tannen, Val, Coquand, Thierry, Gunter, Carl A., Scedrov, Andre

Volltext

A Typed Pattern Calculus von Kesner, Delia, Puel, Laurence, Tannen, Val

Volltext

Polymorphic Rewriting Conserves Algebraic Confluence von Breazutannen, V., Gallier, J.

Volltext

Logical and computational aspects of programming with sets/bags/lists von Breazu-Tannen, Val, Subrahmanyam, Ramesh

Volltext

Combining algebra and higher-order types von Breazu-Tannen, V.

Volltext bestellen

A typed pattern calculus von Breazu-Tannen, V., Kesner, D., Puel, L.

Volltext bestellen

Extending Database Integration Technology von Buneman, Peter, Davidson, S, Tannen, V

Volltext bestellen

Transforming and integrating biomedical data using Kleisli: a perspective von Davidson, S. B., Buneman, P., Harker, S., Overton, C., Tannen, V.

Volltext

Inheritance and explicit coercion von Breazu-Tannen, V., Coquand, T., Gunter, C.A., Scedrov, A.

Volltext bestellen

Protection of Acid–Base Balance by pH Regulation of Acid Production von Hood, Virginia L, Tannen, Richard L

Volltext

Revisiting the Relationships Between Measures of Glycemic Control and Hypoglycemia in Continuous Glucose Monitoring Datasets von Gimenez, M, Tannen, AJ, Reddy, M, Moscardo, V, Conget, I, Oliver, N

Volltext