注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

water451's library [63 articles]

最近录入 water451's 文献库.
  • Information retrieval by logical imaging
    Journal of Documentation, Vol. 51 (1995), pp. 3-17.
    by Fabio Crestani, Cornelis J van Rijsbergen
    posted to logic information by water451 on 2007-02-02 19:01:45 as **
  • The essence of XML
    Vol. 38, No. 1. (January 2003), pp. 1-13.
    by J&\#233;r&\#244;me Sim&\#233;on, Philip Wadler
    posted to xml type-safety formal by water451 on 2007-01-16 03:57:26 as *** along with 3 people mxp msn tmiya
  • On the Expressive Power of Programming Languages
    Vol. 432 (1990), pp. 134-151.
    by Matthias Felleisen
    edited by N Jones
    posted to closure oop oopl theory by water451 on 2006-12-12 09:58:26 as ** along with 19 people and 1 group dherman jacob edcdave kschiess jrw kinaba zednenem ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
  • Optimizing Direct-threaded Code by Selective Inlining
    (1998), pp. 291-300.
    by Ian Piumarta, Fabio Riccardi
    posted to compiler forth jit language-implementation vm by water451 on 2006-12-05 20:51:04 as read along with 2 people cdiggins rnsanchez
  • Folksonomy as a Complex Network
    (23 Sep 2005)
    by Kaikai Shen, Lide Wu
    posted to complex eni folksonomy network scale-free-networks social tags by water451 on 2006-10-05 08:17:02 as *** along with 89 people and 29 groups elaina dbk ericyu korakot tyfn pdlug elsantosneto FG russellbeale shelleylyn dsteinbock xxc vanderwal cc286 takeha-e tautai alisonruth sachac wcrosbie yish scottmoody sids GeneDebs tystl bliksem dullhunk pmoore kei_s cveres djsaab claudioferreira shilad ayanos styliani entropy ethomsen gphroh Sulpicus akkun_choi kifffkifff msn Rieuwert ianturton phylisebanner ak mettadata lag anon_pl merazzle shashikant itst eduardocruz brunomelo jirlong sidisinsane aeosdur zflavio MoritzStefaner OriginalLurch fxk josepe ligaard chirayu_kong dedalusjmmr ltripp carcolla anansi laurobeltrao Elycha JimFolk ungethym menjo yuyuyu sdw135 alkal ffloeck KarlK nonsenz brightbyte wartaalman shaoke madame_pince adamsi acslab ctreude JoyMak krisl rrbarb PatParslow streptomyces Philosophy_of_Information dbk-lab Blog_and_Wiki_Research Librarians GroupLens Wikipedia utoronto-iml CoP_CMS mathgamespatterns semantic-multicast-routing folksonomy ETEC533 HCI-Bham dtl vds-arg AI eni SITCRC Web2 RiSE FSU_College_of_Information clab oktave-labs CSU_School_of_Education Web2-0_Education Social Web Social Tagging MeAggregator
  • Predicate Dispatching: A Unified Theory of Dispatch
    Vol. 1445 (1998), pp. 186-211.
    by Michael D Ernst, Crag Kaplan, Craig Chambers
    posted to dispatch multimethod oop polymorphism predicatedispatch by water451 on 2006-02-24 20:20:38 as read along with 5 people and 4 groups twleung JacquesC hamish A_Olympia greenrd NU-PRL Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
  • Self: The power of simplicity
    Vol. 22, No. 12. (December 1987), pp. 227-242.
    by David Ungar, Randall B Smith
    posted to language-design oop prototype by water451 on 2006-02-24 20:20:02 as read along with 6 people egh marcoil jonathanmedwards smostinc Leho cruediger
  • Super and inner: together at last!
    (2004), pp. 116-129.
    by David S Goldberg, Robert B Findler, Matthew Flatt
    posted to oop by water451 on 2006-02-24 20:19:17 as *** along with 4 people and 1 group assnoodles samth dsilva hryk NU-PRL
  • The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages
    No. STAN-CS-92-1420. (1992)
    by Craig Chambers
    posted to compilers language-implementation oop by water451 on 2006-02-24 20:16:56 as read along with 2 people JeffreyPalmer eblood
  • The design and evaluation of a high performance SMALLTALK system
    (1986)
    by David M Ungar
    posted to oop prototype smalltalk by water451 on 2006-02-24 20:16:14 as read along with 3 people hamish JeffreyPalmer Black
  • 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 oop prototype by water451 on 2006-02-24 20:14:43 as read along with 3 people smostinc Leho keithb
  • An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy
    (8 Dec 2005)
    by Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
    posted to concurrency continuation control-flow cps by water451 on 2005-12-23 23:03:57 as ***
  • An interoperable calculus for external object access
    Vol. 37, No. 9. (September 2002), pp. 60-71.
    by Atsushi Ohori, Kiyoshi Yamatodani
    posted to ffi oop theory by water451 on 2005-12-16 03:19:25 as ** along with 1 person jacob
  • Separation of Object Identity Concerns
    by Pascal Costanza
    posted to object-identity oop roles by water451 on 2005-12-16 03:17:53 as *** along with 3 people and 1 group twleung hamish greenrd SRG_at_UCD
  • On LISP: Advanced Techniques for Common LISP
    (09 September 1993)
    by Paul Graham
    posted to lisp macro programming by water451 on 2005-12-16 03:13:06 as read along with 6 people hamish pdlug jarkko Anyzev brothers robertlischke
  • Data Streams: Algorithms and Applications
    by Muthukris H An
    posted to datastreams dsms by water451 on 2005-12-16 03:10:28 as ** along with 1 person JeffreyPalmer
  • A Comparison of Stream-Oriented High-Availability Algorithms
    (2003)
    by J Hwang
    posted to datastreams dsms by water451 on 2005-12-16 03:09:22 as ** along with 4 people and 1 group twleung JeffreyPalmer rahul neilc SRL
  • Streaming Queries over Streaming Data
    (2002)
    by S Chandrasekaran, M Franklin
    posted to datastreams dsms by water451 on 2005-12-16 03:08:46 as *** along with 4 people twleung JeffreyPalmer lar neilc
  • The STREAM Group. STREAM: The Stanford stream data manager
    (2003)
    by h Group, S Stanford, s Manager, I Engineering
    posted to datastreams dsms by water451 on 2005-12-16 03:07:26 as read along with 2 people JeffreyPalmer lar
  • Checking Type Safety of Foreign Function Calls
    (June 2005)
    by Michael Furr, Jeffrey S Foster
    posted to ffi programming type-safety by water451 on 2005-12-16 03:01:34 as *** along with 1 person jacob
  • notes Reusable Hierarchical Command Objects
    Proceedings CHI'96: Human Factors in Computing Systems (14 April 1996)
    by Brad A Myers, David S Kosbie
    posted to amulet command development environment interface objects redo toolkits undo user by water451 on 2005-11-07 18:00:41 as read
  • The Tipping Point: How Little Things Can Make a Big Difference
    (01 March 2000)
    by Malcolm Gladwell
    posted to network social by water451 on 2005-11-02 05:43:11 as read along with 2 people and 1 group draggin NitinCR Blog_and_Wiki_Research
  • The Design Patterns Smalltalk Companion
    (1998)
    by Sherman R Alpert, Kyle Brown, Bobby Woolf
    posted to design patterns smalltalk bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Metapattern: Context and Time in Information Models
    (2000)
    by Pieter Wisse
    posted to information structure bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Understanding Computers and Cognition
    (1987)
    by Fernando
    posted to hci bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • The Algorithm Design Manual
    (1998)
    by Steven S Skiena
    posted to programming systems bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Structure and Interpretation of Computer Programs
    (1984)
    by Julie
    posted to lisp bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • A Functional Pattern System for Object-Oriented Design
    (1999)
    by Thomas Kâ¸hne
    posted to functional programming bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Interactive Programming Environments
    (1984)
    by Sandewall
    posted to programming systems bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Refactoring: Improving the Design of Existing Code
    (1999)
    by Martin Fowler
    posted to oopl bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Visual Object-Oriented Programming
    (1995)
    by Margaret M Burnett, Adele Goldberg
    posted to languages oopl programming visual bibtex-import by water451 on 2005-11-02 00:24:06 as read
  • Exploring Logical Dynamics
    (1996)
    by Johan van Benthem
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Logic and Visual Information
    (1995)
    by Eric M Hammer
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Arrow Logic and Multi-Modal Logic
    (1996)
    by Maarten Marx, Lâ·szlã Pãlos, Michael Masuch
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Partiality, Modality and Nonmonotonicity
    (1996)
    by Patrick Doherty
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Specifying Syntactic Structures
    (1997)
    by Patrick Blackburn, Maarten de Rijke
    posted to linguistics bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • A Paradigm for Program Semantics: Power Structures and Duality
    (2001)
    by Ingrid
    posted to logic programming bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Algebras, Diagrams and Decisions in Language, Logic and Computation
    (2002)
    by Kees Vermeulen, Ann Copestake
    posted to linguistics logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Computing Natural Language
    (1998)
    by Dag
    posted to linguistics bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • An Introduction to Substructural Logics
    (1999)
    by Greg Restall
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Information Flow : The Logic of Distributed Systems
    (1997)
    by Jerry
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read along with 1 person leechuck
  • Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
    (1996)
    by J Barwise, LS Moss
    posted to logic set theory bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Language, Proof and Logic
    (1999)
    by John
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Purely Functional Data Structures
    (1999)
    by Chris Okasaki
    posted to functional programming bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Term Rewriting and All That
    (1998)
    by Franz Baader, Tobias Nipkow
    posted to functional programming bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Solving Higher-Order Equations: From Logic to Programming
    (1997)
    by Christian Prehofer
    posted to logic programming bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • A Mathematical Theory of Communication
    (1948)
    by Claude E Shannon
    posted to cybernetics bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Categories for the Working Mathematician
    (1998)
    by Saunders M Lane
    posted to category logic theory bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • Conceptual Mathematics: A First Introduction to Categories
    (1997)
    by Stephen
    posted to category theory bibtex-import by water451 on 2005-11-02 00:24:05 as read
  • A Shorter Model Theory
    (1997)
    by Wilfrid Hodges
    posted to logic bibtex-import by water451 on 2005-11-02 00:24:05 as read
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/water451

    Result page: 1 2 Next 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.