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

267 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
108 The principal type scheme of an object in combinatory logic – J Hindley - 1969
363 Towards a theory of type structure – J C Reynolds - 1974
1565 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
35 Recursion equations as a programming language – D A TURNER - 1982
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
49 The parallel programming language id and its compilation for parallel machines – R S Nikhil - 1993
80 Report on the Programming Language Haskell – P Hudak, P Wadler - 1990
19 On Two Forms of Structural Recursion – Dan Suciu, Limsoon Wong - 1995
157 a non-strict functional language with polymorphic types – Miranda - 1985
68 A consideration on normal form of not-necessarily-normalized relation in the relational data model – Akifumi Makinouchi - 1977
456 Comprehending Monads – Philip Wadler - 1992