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

Leho library [22 articles]

Статьи, недавно добавленные в библиотеку Leho .
  • A lambda calculus of objects and method specialization
    Nordic Journal of Computing, Vol. 1, No. 1. (Spring 1994), pp. 3-37.
    by Kathleen Fisher, Furio Honsell, John C Mitchell
    posted to calculi lambda_calculi object-orientation by Leho on 2008-01-06 00:46:23 as ***
  • A Delegation-based Object Calculus with Subtyping
    (1995)
    by K Fisher, J Mitchell
    posted to calculi delegation object-calculi object-orientation prototypes subtyping type_systems by Leho on 2008-01-06 00:29:51 as *****
  • A Semantics of Object Types
    (1994), pp. 332-341.
    by Mart\ín Abadi, Luca Cardelli
    posted to calculi object-orientation polymorphism subtyping type_systems by Leho on 2007-12-26 14:36:36 as *****
  • notes Proofs are Programs: 19th Century Logic and 21st Century Computing
    (November 2000)
    by Philip Wadler
    posted to calculi curry_howard lambda_calculi logic type_systems by Leho on 2007-12-26 13:12:16 as read
  • Matching Objects with Patterns
    (2007), pp. 273-298.
    by Burak Emir, Martin Odersky, John Williams
    posted to object-orientation pattern_matching by Leho on 2007-12-26 12:55:18 as ****
  • Object-Oriented Multi-Methods in Cecil
    (1992), pp. 33-56.
    by Craig Chambers
    posted to cecil generic_programming multimethods object-orientation prototypes by Leho on 2007-12-26 12:44:32 as read
  • A history of Haskell: being lazy with class
    (2007)
    by Paul Hudak, John Hughes, Simon P Jones, Philip Wadler
    posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as **** along with 1 person chandlerc
  • BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing
    (1996)
    by Craig Chambers, Gary T Leavens
    posted to cecil multimethods object-orientation prototypes semantics type_systems by Leho on 2007-07-27 14:07:15 as *****
  • The Cecil Language Specification and Rationale: Version 2.0
    (1995)
    by Craig Chambers
    posted to cecil object-orientation prototypes by Leho on 2007-07-27 13:58:29 as ***** along with 1 person and 1 group dherman NU-PRL
  • A Shared View of Sharing: The Treaty of Orlando
    (1989), pp. 31-48.
    by LA Stein, H Lieberman, D Ungar
    edited by W Kim, FH Lochovsky
    posted to object-orientation prototypes by Leho on 2007-07-27 13:57:08 as ***** along with 3 people water451 smostinc keithb
  • Organizing Programs Without Classes
    Lisp and Symbolic Computation, Vol. 4, No. 3. (1991)
    by David Ungar, Craig Chambers, Bay-Wei Chang, Urs Holzle
    posted to object-orientation prototypes by Leho on 2007-07-27 06:44:05 as read along with 5 people and 2 groups marcoil therapon marimo charoy smostinc MathBio ecoo-pe
  • Self: The power of simplicity
    Vol. 22, No. 12. (December 1987), pp. 227-242.
    by David Ungar, Randall B Smith
    posted to message_passing object-orientation prototypes self by Leho on 2007-07-27 06:11:56 as read along with 6 people egh marcoil jonathanmedwards water451 smostinc cruediger
  • Actors: a model of concurrent computation in distributed systems
    (1986)
    by Gul Agha
    posted to actors concurrency message_passing parallelism by Leho on 2007-07-27 05:35:15 as ***** along with 1 person elferdo
  • On Understanding Types, Data Abstraction, and Polymorphism
    ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522.
    by Luca Cardelli, Peter Wegner
    posted to data_abstraction polymorphism type_systems by Leho on 2007-07-27 05:32:48 as read along with 8 people and 1 group dherman tautologico amorkan lyongu ben_moseley bunge fmc dmeister NU-PRL
  • Typeful Programming
    (1991), pp. 431-507.
    by Luca Cardelli
    edited by EJ Neuhold, M Paul
    posted to type_systems by Leho on 2007-07-27 05:31:01 as read along with 1 person tautologico
  • Type Systems
    (1997)
    by Luca Cardelli
    edited by Allen B Tucker
    posted to contravariance covariance existential_polymorphism lambda_calculi subtyping type_checking type_inference type_systems universal_polymorphism by Leho on 2007-07-27 05:29:09 as read along with 8 people and 2 groups rgrig greenrd tautologico amorkan lyongu Bluetulip jimburton mvermaat SRG_at_UCD Lambda the Ultimate
  • Using prototypical objects to implement shared behavior in object-oriented systems
    (1986), pp. 214-223.
    by Henry Lieberman
    posted to object-orientation prototypes by Leho on 2007-07-27 05:25:44 as read along with 2 people smostinc emiliorp
  • Viewing control structures as patterns of passing messages
    Artificial Intelligence, Vol. 8, No. 3. (June 1977), pp. 323-364.
    by Carl Hewitt
    posted to actors control_structures message_passing parallelism by Leho on 2007-07-12 18:25:24 as ***** along with 1 person and 1 group rlai MITCCI
  • The Expression Problem, Scandinavian Style
    European Conference on Object-Oriented Programming (2004)
    by Erik Ernst
    posted to expression_problem extensibility by Leho on 2007-07-05 14:54:30 as *** along with 1 person and 1 group dherman NU-PRL
  • The Expression Problem Revisited
    European Conference on Object-Oriented Programming (2004)
    by Mads Torgersen
    posted to expression_problem extensibility by Leho on 2007-07-05 14:52:58 as *** along with 2 people and 1 group dherman JacquesC NU-PRL
  • Open data types and open functions
    (2006)
    by Andres Löh, Ralf Hinze
    posted to expression_problem extensibility final_algebras functional_programming generic_programming haskell initial_algebras object-orientation type-classes type_systems by Leho on 2007-07-05 14:51:09 as *** along with 2 people and 1 group dherman lomeo NU-PRL
  • The Expression Problem
    java-genericity Mailing List (12 November 1998)
    by Philip Wadler
    posted to expression_problem extensibility functional_programming object-orientation by Leho on 2007-07-05 14:33:28 as *** along with 2 people and 1 group dherman dfisher NU-PRL
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/Leho

    RIS BibTeX RSS
    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.