Val Breazu-Tannen

Inheritance as implicit coercion

Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter et al. · Information and Computation · 1991 · 179 citations

Computing, Computer Science, Programming Languages +13

Database programming in Machiavelli—a polymorphic language with static type inference

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen · ACM SIGMOD Record · 1989 · 139 citations · Full text

Computing, Computer Science, Databases +16

Structural recursion as a query language

Val Breazu-Tannen, Peter Buneman, Shamim A. Naqvi · 1992 · 120 citations

Computing, Computer Science, Algebra +14

Combining algebra and higher-order types

Val Breazu-Tannen · 2003 · 94 citations

Computing, Computer Science, Algebra +16

Database programming in Machiavelli---a polymorphic language with static type inference

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen · 1989 · 83 citations · Full text

Computing, Computer Science, Databases +16