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

by Atsushi Ohori
Citations:8 - 0 self

Documents Related by Co-Citation

265 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
60 Comprehensions, a Query Notation for DBPLs – Phil Trinder - 1991
14 The Format model: A theory of database organisation – R Hull, C K Yap - 1984
44 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
84 Database programming in Machiavelli, a polymorphic language with static type inference – Atsushi Ohori, Peter Buneman, Val Breazu-tannen - 1989
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
730 Notions of Computation and Monads – Eugenio Moggi - 1991
361 Towards a theory of type structure, in – J C Reynolds - 1974
107 The principal type scheme of an object in combinatory logic – J Hindley - 1969
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
8 Issues governing the suitability of programming languages for programming tasks – M Petre, R L Winder - 1988
19 On Two Forms of Structural Recursion – Dan Suciu, Limsoon Wong - 1995
117 Report on the functional programming language Haskell: A non-strict, purely functional language: Version 1.2 – Peyton Jones P, S L, P Wadler - 1992
68 A consideration on normal form of not-necessarily-normalized relation in the relational data model – Akifumi Makinouchi - 1977
455 Comprehending Monads – Philip Wadler - 1992
79 Report on the Programming Language HASKELL – Paul Hudak - 1990
35 Recursion Equations as a Programming Language – D A Turner - 1982
49 The Parallel Programming Language Id and its Compilation for Parallel Machines – R S Nikhil - 1989
157 A non-strict functional language with polymorphic types – Miranda