IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #887   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:18
887 Add to my selection
      AUTHOR = {Müller, Martin and Niehren, Joachim and Smolka, Gert},
      TITLE = {Typed Concurrent Programming with Logic Variables},
      YEAR = {1997},
      MONTH = {September},
      ADDRESS = {Saarbrücken},
      TYPE = {Technical Report},
      INSTITUTION = {Universität des Saarlandes, Programming Systems Lab},
      URL = {},
      ABSTRACT = {We present a concurrent higher-order programming language called Plain and a concomitant static type system. Plain is based on logic variables and computes with possibly partial data structures. The data structures of Plain are procedures, cells, and records. Plain's type system features record-based subtyping, bounded existential polymorphism, and access modalities distinguishing between reading and writing.},
      ANNOTE = {COLIURL : Muller:1997:TCP.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin