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

Group: complogic - with tag no-tag [11 articles]

Недавние статьи, отправленные по почте членами complogic группы with tag no-tag
  • Brouwerian Counterexamples
    Mathematics Magazine, Vol. 62, No. 1. (1989), pp. 3-27.
    by Mark Mandelkern
    posted to no-tag by dwehr to the group complogic on 2007-09-08 00:38:08 as **
  • Constructive Mathematics
    Mathematics Magazine, Vol. 58, No. 5. (1985), pp. 272-280.
    by Mark Mandelkern
    posted to no-tag by dwehr to the group complogic on 2007-09-08 00:37:53 as read
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to no-tag by dwehr to the group complogic on 2007-06-19 04:01:50 as ***** along with 9 people and 1 group draganigajic dherman JacquesC yallop robennals ben_moseley RalfMitschke jpbernardy pedagand NU-PRL
  • Types, type checking and polymorphism
    posted to no-tag by dwehr to the group complogic on 2007-06-19 03:06:30 as *****
  • Higher-order unification and matching
    (2001), pp. 1009-1062.
    by Gilles Dowek
    posted to no-tag by dwehr to the group complogic on 2007-06-06 20:58:06 as **
  • A Logic of Subtyping
    (1995)
    by Longo, Milsted, Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:54 as ***
  • Coherence and transitivity of subtyping as entailment
    Journal of Logic and Computation, Vol. 10, No. 4. (2000), pp. 493-526.
    by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:38 as ***
  • Pure Type Systems with Subtyping
    (1999), pp. 381-396.
    by Jan Zwanenburg
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:32:10 as ***
  • A type system for certified binaries
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 1-45.
    by Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:06:29 as read
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:03:36 as ** along with 27 people and 3 groups draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD Lambda the Ultimate
  • Template meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon P Jones
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:00:34 as read along with 9 people and 1 group samth marcin msakai kozima spl keigoi TTSY mcclurmc jpbernardy NU-PRL
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/2532/tag/no-tag

    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.