ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

  1. 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)