The Expressiveness of Simple and Second-Order Type Structures.
Steven Fortune, Daniel Leivant, Michael O'Donnell:
The Expressiveness of Simple and Second-Order Type Structures.
J. ACM 30(1): 151-185(1983)@article{DBLP:journals/jacm/FortuneLO83,
author = {Steven Fortune and
Daniel Leivant and
Michael O'Donnell},
title = {The Expressiveness of Simple and Second-Order Type Structures},
journal = {J. ACM},
volume = {30},
number = {1},
year = {1983},
pages = {151-185},
ee = {db/journals/jacm/FortuneLO83.html, http://doi.acm.org/10.1145/322358.322370},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Gerd G. Hillebrand, Paris C. Kanellakis:
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.
PODS 1994: 222-231
BibTeX
Copyright © Sun May 17 00:05:38 2009
by Michael Ley (ley@uni-trier.de)