registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

amp269s library [17 articles]

Neue Artikel in amp269s Bibliothek.
  • The Mechanical Evaluation of Expressions
    The Computer Journal, Vol. 6, No. 4. (1 January 1964), pp. 308-320.
    by PJ Landin
    posted to no-tag by amp269 on 2008-11-30 01:33:08 as ****
  • The Problem with Threads
    Computer, Vol. 39, No. 5. (2006), pp. 33-42.
    by EA Lee
    posted to no-tag by amp269 on 2008-10-20 17:35:50 as ** along with 8 people and 1 group draganigajic scottmoody craigtalbert mdekruijf 7oby pedagand DickSilver dmeister semantic-multicast-routing
  • Recursive data structures
    International Journal of Parallel Programming, Vol. 4, No. 2. (1 June 1975), pp. 105-132.
    by CAR Hoare
    posted to no-tag by amp269 on 2008-10-17 00:00:35 as **** along with 1 person GuAlex
  • An Introduction to the Bird-Meertens Formalism
    (November 1994), pp. 1-12.
    by Jeremy Gibbons
    edited by Steve Reeves
    posted to no-tag by amp269 on 2008-10-09 21:32:53 as ***
  • Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
    Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641.
    by John Backus
    posted to no-tag by amp269 on 2008-10-09 20:45:28 as **** along with 11 people draganigajic pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
  • On the Relation between Direct and Continuation Semantics
    (1974), pp. 141-156.
    by John C Reynolds
    posted to no-tag by amp269 on 2008-10-03 23:29:37 as ****
  • A theory of type polymorphism in programming
    Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
    by Robin Milner
    posted to no-tag by amp269 on 2008-10-03 21:58:33 as *** along with 5 people jkominek tautologico lyongu calvins shimomura
  • Making Monads First-class with Template Haskell
    (2008), pp. 99-110.
    by Pericles S Kariotis, Adam M Procter, William L Harrison
    posted to no-tag by amp269 on 2008-10-02 05:22:49 as read
  • Asynchronous Exceptions as an Effect
    Vol. 5133 (2008), pp. 153-176.
    by William L Harrison, Gerard Allwein, Andy Gill, Adam Procter
    edited by Philippe Audebaud, Christine P Mohring, Philippe Audebaud, Christine P Mohring
    posted to no-tag by amp269 on 2008-10-02 05:20:32 as read
  • The essence of ALGOL
    (1997), pp. 67-88.
    by John C Reynolds
    posted to no-tag by amp269 on 2008-10-02 04:49:21 as ***
  • Type-directed partial evaluation
    (1996), pp. 242-257.
    by Olivier Danvy
    posted to no-tag by amp269 on 2008-10-02 04:29:16 as ***
  • Metacomputation-based compiler architecture
    Vol. 1837 (2000), pp. 213-229.
    by William L Harrison, Samuel N Kamin
    posted to no-tag by amp269 on 2008-10-02 04:28:48 as ****
  • A Categorical Manifesto
    Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
    by Joseph A Goguen
    posted to no-tag by amp269 on 2008-10-02 04:20:35 as **
  • Call-by-Name, Call-by-Value and the lambda-Calculus
    Theor. Comput. Sci., Vol. 1, No. 2. (1975), pp. 125-159.
    by Gordon D Plotkin
    posted to no-tag by amp269 on 2008-10-02 04:16:44 as ****
  • Notions of Computation and Monads
    Inf. Comput., Vol. 93, No. 1. (1991), pp. 55-92.
    by Eugenio Moggi
    posted to no-tag by amp269 on 2008-10-02 04:14:49 as ***
  • Theorems for free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to no-tag by amp269 on 2008-10-02 03:50:39 as **** along with 6 people byorgey voigt spl paper_jac robdockins nominolo
  • Definitional Interpreters for Higher-Order Programming Languages
    Higher-Order and Symbolic Computation, Vol. 11, No. 4. (1998), pp. 363-397.
    by John C Reynolds
    posted to no-tag by amp269 on 2008-10-02 03:49:33 as *****
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/amp269

    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.