A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming (1989)

by Atsushi Ohori
Citations:8 - 0 self

Active Bibliography

37 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
98 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
64 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
21 Polymorphic Type Inference and Semi-Unification – Fritz Henglein - 1989
37 Querying Nested Collections – Limsoon Wong - 1994
Feature Structures and Database Theory – Jean Vronis Laboratoire, Jean Véronis - 1995
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
93 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
238 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe
13 TIGUKAT: An Object Model for Query and View Support in Object Database Systems – Randal J. Peters, M. Tamer Özsu, Duane Szafron - 1992
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
1 Abstract ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo
35 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
Type Systems for Programming Languages – Steffen van Bakel - 2001