registrieren | anmelden | FAQ      [?] 

Tag control-operator [3 articles]

Recent papers classified by the tag control-operator.
  • Representing Control: A study of the CPS transformation
    Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
    by Olivier Danvy, Andrzej Filinski
    posted to cps control-operator by yoriyuki on 2008-09-06 17:47:24 as ** along with 7 people and 1 group twleung dherman JeffreyPalmer mvermaat ch pedagand jkominek NU-PRL
  • A generalization of exceptions and control in ML-like languages
    (1995), pp. 12-23.
    by Carl A Gunter, Didier Rémy, Jon G Riecke
    posted to control-operator ml by yoriyuki on 2008-06-30 08:57:15 as ** along with 1 person msakai
  • Disjunctive Normal Forms and Local Exceptions
    (2003)
    by Emmanuel Beffara, Vincent Danos
    posted to copy classical-logic control-operator by yoriyuki on 2008-06-06 09:03:42 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/control-operator

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.