Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

thsutton calculus [4 articles]

Recent papers added to thsutton library classified by the tag calculus. You can also see everyone's calculus.
  • Jingle Bells: Solving the Santa Claus Problem in Polyphonic C#
    (2003)
    by Nick Benton
    posted to calculus cs csharp join languages microsoft oo programming by thsutton on 2006-03-19 01:03:01 as read
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • iRho: an imperative rewriting calculus
    (2004), pp. 167-178.
    by Luigi Liquori, Bernard P Serpette
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:41:57 as ****
  • Matching Power
    (2001)
    by Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    edited by Aart Middeldorp
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:19:01 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/thsutton/tag/calculus

    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.