|
Gordon D. Plotkin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Atsushi Ohori:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Atsushi Ohori cite Gordon D. PlotkinOrdered by citing publication[Change the order to 'ordered by cited']
-
Atsushi Ohori
Orderings and Types in Databases. [Citation Graph (4, 10)][DBLP] DBPL, 1987, pp:97-116 [Conf] Cites:
-
Peter Buneman, Atsushi Ohori
Polymorphism and Type Inference in Database Programming. [Citation Graph (7, 46)][DBLP] ACM Trans. Database Syst., 1996, v:21, n:1, pp:30-76 [Journal] Cites:
-
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
An Ideal Model for Recursive Polymorphic Types [Citation Graph (2, 0)][DBLP] Information and Control, 1986, v:71, n:1/2, pp:95-130 [Journal]
-
Gordon D. Plotkin
Call-by-Name, Call-by-Value and the lambda-Calculus. [Citation Graph (1, 0)][DBLP] Theor. Comput. Sci., 1975, v:1, n:2, pp:125-159 [Journal]
-
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
Dynamic Typing in a Statically Typed Language. [Citation Graph (2, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1991, v:13, n:2, pp:237-268 [Journal]
|