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

by Atsushi Ohori
Citations:8 - 0 self

Active Bibliography

103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
Type Theory for Programming Languages – Robert Harper - 1994
39 Querying Nested Collections – Limsoon Wong - 1994
6 Simple, Efficient Object Encoding using Intersection Types – Karl Crary - 1999
1 E cient Object Encoding using Intersection Types – Karl Crary
Feature Structures and Database Theory – Jean Vronis Laboratoire, Jean Véronis - 1995
47 First-class Polymorphism with Type Inference – Mark P. Jones
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996