新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

samth library [204 articles]

最近 samth さんのライブラリ .
  • Haskell 98 Language and Libraries: The Revised Report
    (05 May 2003)
    by Simon P Jones
    posted to haskell by samth on 2007-09-11 03:11:57 as ** along with 2 people and 1 group tov jimburton NU-PRL
  • Nominal Techniques in Isabelle/HOL
    : Automated Deduction – CADE-20 (2005), pp. 38-53.
    by Christian Urban, Christine Tasson
    posted to nominal by samth on 2007-04-05 20:25:33 as read along with 1 group NU-PRL
  • Expansion-Passing Style: A General Macro Mechanism
    Lisp and Symbolic Computation: An International Journal, Vol. 1, No. 1. (1988), pp. 53-76.
    by Kent K Dybvig, Daniel P Friedman, Christopher T Haynes
    posted to macros by samth on 2006-08-03 22:10:42 as read along with 4 people and 1 group dherman ryanc hayeah dfisher NU-PRL
  • Test Driven Development: By Example
    (08 November 2002)
    by Kent Beck
    posted to interlang xp by samth on 2006-04-10 16:27:57 as * along with 7 people and 2 groups fmatthes rvasa martinus teresadaniela cogumbreiro metamorphos_bari philosopher0 NU-PRL CDG
  • Syntactic abstraction in Scheme
    Lisp Symb. Comput., Vol. 5, No. 4. (December 1992), pp. 295-326.
    by Kent K Dybvig, Robert Hieb, Carl Bruggeman
    posted to macros scheme syntax-case by samth on 2005-04-15 22:17:01 as read along with 2 people and 1 group ryanc c_m_h NU-PRL
  • GNU Autoconf, Automake, and Libtool
    (06 October 2000)
    by Gary V Vaughan, Ben Elliston, Tom Tromey, Ian L Taylor
    posted to oopsla-paper by samth on 2005-03-17 03:20:37 as ** along with 1 person and 1 group cedricboidin NU-PRL
  • Modules for Standard ML
    (1984), pp. 198-207.
    by David B Macqueen
    posted to ml oopsla-paper by samth on 2005-03-14 23:30:07 as ** along with 1 group NU-PRL
  • A New Approach to Abstract Syntax Involving Binders
    (1999), pp. 214-224.
    by Murdoch Gabbay, Andrew Pitts
    edited by G Longo
    posted to alpha by samth on 2005-03-10 23:02:33 as ***** along with 1 person and 1 group dalev NU-PRL
  • Toward a common component architecture for high-performance scientific computing
    High Performance Distributed Computing, 1999. Proceedings. The Eighth International Symposium on (1999), pp. 115-124.
    by R Armstrong, D Gannon, A Geist, K Keahey, S Kohn, L Mcinnes, S Parker, B Smolinski
    posted to components hpc oopsla-paper by samth on 2005-03-03 20:50:24 as ** along with 2 people and 1 group turker tlmquintino NU-PRL
  • Make-A Program for Maintaining Computer Programs
    Software - Practice and Experience, Vol. 9, No. 4. (1979), pp. 255-65.
    by Stuart I Feldman
    posted to configuration-management oopsla-paper by samth on 2005-03-03 20:10:42 as ** along with 1 group NU-PRL
  • The Vesta Software Configuration Management System
    (22 January 2002)
    by Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu
    posted to configuration-management oopsla-paper by samth on 2005-03-03 18:42:57 as ** along with 1 group NU-PRL
  • notes PLaneT
    by Jacob Matthews, Robby Findler
    posted to oopsla-paper plt scheme by samth on 2005-03-03 18:37:35 as read along with 1 group NU-PRL
  • The Java programming language (2nd ed.)
    (1998)
    by Ken Arnold, James Gosling
    posted to java oopsla-paper by samth on 2005-03-03 18:36:03 as ** along with 1 group NU-PRL
  • The design of a class mechanism for Moby
    Vol. 34, No. 5. (May 1999), pp. 37-49.
    by Kathleen Fisher, John Reppy
    posted to ml oopsla-paper by samth on 2005-03-03 18:35:23 as ** along with 1 group NU-PRL
  • Revised$^5$ Report on the Algorithmic Language Scheme
    ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76.
    by Richard Kelsey, William Clinger, Jonathan R (editors)
    posted to oopsla-paper scheme by samth on 2005-03-03 18:33:23 as read along with 6 people and 1 group dherman pnkfelix alec tov dfisher d23 NU-PRL
  • Java(TM) Language Specification, The (3rd Edition) (Java Series)
    (08 July 2005)
    by James Gosling, Bill Joy, Guy Steele, Gilad Bracha
    posted to java oopsla-paper by samth on 2005-03-03 18:28:44 as ** along with 8 people and 2 groups greenrd plaugg dullhunk tov 7oby bringert cruediger federicopaoloni NU-PRL SRG_at_UCD
  • Debian
    posted to components oopsla-paper by samth on 2005-03-03 18:24:56 as ** along with 1 group NU-PRL
  • The Definition of Standard ML - Revised
    (15 May 1997)
    by Robin Milner, Mads Tofte, Robert Harper, David Macqueen
    posted to components oopsla-paper by samth on 2005-03-03 18:23:07 as ** along with 2 people and 1 group bringert gkuan NU-PRL
  • CORBA
    posted to components oopsla-paper by samth on 2005-03-03 18:06:38 as ** along with 1 group NU-PRL
  • notes Red Hat RPM Guide
    (01 March 2003)
    by Eric Foster-Johnson
    posted to components oopsla-paper rpm by samth on 2005-03-03 18:04:17 as ** along with 2 people and 1 group cedricboidin Fin NU-PRL
  • Component Software: Beyond Object-Oriented Programming
    (19 December 1997)
    by Clemens Szyperski
    posted to components oopsla-paper by samth on 2005-03-03 17:00:11 as read along with 5 people and 1 group plaugg lueo mdhussein bkohler charoy NU-PRL
  • A semantics of multiple inheritance.
    (1984), pp. 51-67.
    by Luca Cardelli
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • A Denotational Semantics of Inheritance
    (May~JanuaryMay 1989)
    by William R Cook
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group ryanc NU-PRL
  • Metaclasses are First Class: the ObjVLisp Model
    (1987), pp. 156-162.
    by Pierre Cointe
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • A Type System for Smalltalk
    (January 1990), pp. 136-150.
    by Justin O Graver, Ralph E Johnson
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Writing Hygienic Macros in Scheme with Syntax-Case
    (July~0March 1992)
    by Kent K Dybvig
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Common Lisp: The Language, Second Edition
    (1990)
    by GL Guy
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • On the Expressive Power of Programming Languages
    Vol. 432 (JanuaryMay--JanuaryAugust~May 1990), pp. 134-151.
    by Matthias Felleisen
    edited by Neil D Jones
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group cedricboidin NU-PRL
  • Static Type Inference With Starkiller
    (2004)
    by Michael Salib
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Unifying types and classes in Python 2.2
    (2002)
    by Guido v van Rossum
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Featherweight Java: A minimal core calculus for Java and GJ
    (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • The Art of the Metaobject Protocol
    (1991)
    by Gregor Kiczales, Jim d Rivières, Daniel G Bobrow
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • Compatible genericity with run-time types for the Java Programming Language
    (1998), pp. 201-215.
    by Robert Cartwright, J Guy
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • Object-Oriented Units of Measurement
    (2004)
    by Eric Allen, David Chase, Victor Luchangco, Jan W Maessen, Guy Steele
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Self: The power of simplicity
    (1987), pp. 227-242.
    by David Ungar, Randall B Smith
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • A first-class approach to genericity
    (2003), pp. 96-114.
    by Eric Allen, Jonathan Bannet, Robert Cartwright
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group cedricboidin NU-PRL
  • Smalltalk-80: The Language and Its Implementation
    (1989)
    by Adele Goldberg, David Robson
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • What's in an Instance?
    (1994)
    by Christopher A Welty, David A Ferrucci
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Design Patterns: Elements of Reusable Object-Oriented Software
    (1994)
    by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group plaugg NU-PRL
  • The Scala Language Specification
    (2004)
    by Martin Odersky, Others
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Strongtalk: Typechecking Smalltalk in a Production Environment
    (September 1993), pp. 215-230.
    by Gilad Bracha, David Griswold
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 group NU-PRL
  • Control operators, the SECD-machine and the $λ$-calculus
    pp. 193-217.
    by Matthias Felleisen, Daniel P Friedman
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Partial Continuations as the Difference of Continuations: A Duumvi
    (September 1994), pp. 182-197.
    by Luc Moreau, Christian Queinnec
    edited by Manuel Hermenegildo, Jaan Penjam
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • A Library of high-level control operators
    Vol. 6, No. 4. (1993), pp. 11-26.
    by Christian Queinnec
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 person and 1 group cedricboidin NU-PRL
  • Final shift for call/cc: direct implementation of shift and reset
    (2002), pp. 271-282.
    by Martin Gasbichler, Michael Sperber
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • The theory and practice of first-class prompts
    (1988), pp. 180-190.
    by M Felleisen
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • $λ$-v-CS: an extended $λ$-calculus for scheme
    (1988), pp. 72-85.
    by Matthias Felleisen
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Call-by-name, call-by-value, and the $λ$-calculus
    Theoretical Computer Science (1975), pp. 125-159.
    by Gordon D Plotkin
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 2 people and 1 group cedricboidin ryanc NU-PRL
  • A syntactic theory of sequential control
    Theor. Comput. Sci., Vol. 52, No. 3. (1987), pp. 205-237.
    by M Felleisen, DP Friedman, E Kohlbecker, B Duba
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/samth

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