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

samth library [204 articles]

最近 samth さんのライブラリ (優先度順).
  • 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
  • FreshML: programming with binders made simple
    Vol. 38, No. 9. (September 2003), pp. 263-274.
    by Mark R Shinwell, Andrew M Pitts, Murdoch J Gabbay
    posted to binding by samth on 2005-02-21 16:00:20 as **** along with 1 group NU-PRL
  • A Programmer's Reduction Semantics for Classes and Mixins
    Lecture Notes in Computer Science
    by Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    posted to java plt semantics by samth on 2004-12-10 18:22:32 as **** along with 1 person and 1 group spl NU-PRL
  • Loop headers in &lgr;-calculus or CPS
    Lisp Symb. Comput., Vol. 7, No. 4. (December 1994), pp. 337-343.
    by Andrew W Appel
    posted to compiler cps loop-optimization by samth on 2005-02-21 15:46:22 as *** along with 1 group NU-PRL
  • Views: a way for pattern matching to cohabit with data abstraction
    (1987), pp. 307-313.
    by P Wadler
    posted to haskell pattern-matching by samth on 2005-02-17 22:51:40 as *** along with 4 people and 1 group spl dherman robennals dfisher NU-PRL
  • Safely creating correct subclasses without seeing superclass code
    Vol. 35, No. 10. (October 2000), pp. 208-228.
    by Clyde Ruby, Gary T Leavens
    posted to honu oop by samth on 2005-01-24 22:14:00 as *** along with 1 person and 2 groups kiniry NU-PRL SRG_at_UCD
  • Optimizing Nested Loops Using Local CPS Conversion
    Higher Order Symbol. Comput., Vol. 15, No. 2-3. (2002), pp. 161-180.
    by John Reppy
    posted to compiler cps loop-optimization by samth on 2005-01-24 18:47:29 as *** along with 1 group NU-PRL
  • Modeling Web interactions
    (2003)
    by P Graunke, R Findler, S Krishnamurthi, M Felleisen
    posted to continuations plt web by samth on 2005-01-03 17:14:39 as *** along with 1 person and 1 group assnoodles NU-PRL
  • Set-based analysis of ML programs
    (1994), pp. 306-317.
    by Nevin Heintze
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:26:03 as *** along with 1 group NU-PRL
  • A Tail-Recursive Semantics for Stack Inspections
    Lecture Notes in Computer Science, pp. 22-37.
    by John Clements, Matthias Felleisen
    posted to plt scheme by samth on 2004-12-10 18:21:45 as *** along with 2 people and 1 group dherman ryanc NU-PRL
  • Modeling an Algebraic Stepper
    (2001), pp. 320-334.
    by John Clements, Matthew Flatt, Matthias Felleisen
    posted to plt scheme stepper by samth on 2004-12-02 00:02:03 as *** along with 1 person and 1 group ryanc NU-PRL
  • Modular object-oriented programming with units and mixins
    Vol. 34, No. 1. (January 1998), pp. 94-104.
    by Robert B Findler, Matthew Flatt
    posted to mixins modules object-oriented plt scheme by samth on 2004-12-02 00:00:00 as *** along with 2 people and 1 group dsilva ryanc NU-PRL
  • Synthesizing Object-Oriented and Functional Design to Promote Re-Use
    (1998), pp. 91-113.
    by Shriram Krishnamurthi, Matthias Felleisen, Daniel P Friedman
    posted to plt program-design by samth on 2004-12-01 23:58:44 as *** along with 4 people and 3 groups dherman JacquesC A_Olympia spl NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • DrScheme: a programming environment for Scheme
    J. Funct. Program., Vol. 12, No. 2. (March 2002), pp. 159-182.
    by Robert B Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
    posted to plt program-environment scheme by samth on 2004-12-01 23:51:46 as *** along with 1 group NU-PRL
  • On the expressive power of programming languages
    Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
    by Matthias Felleisen
    posted to programming by samth on 2004-12-01 23:50:55 as *** along with 3 people and 1 group assnoodles JacquesC RalfMitschke NU-PRL
  • 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
  • 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
  • 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
  • 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
  • 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 10 people and 2 groups sven_luzar myui 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 3 people and 1 group jasmithoffice 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
  • No Assembly Required: Compiling Standard ML to C
    ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177.
    by David Tarditi, Peter Lee, Anurag Acharya
    posted to compiler ml by samth on 2005-02-21 15:26:20 as ** along with 5 people and 1 group dherman hamish JeffreyPalmer anoopsarkar satrajit NU-PRL
  • Reflections on Standard ML
    (1993), pp. 32-46.
    by David B Macqueen
    posted to ml by samth on 2005-02-21 15:25:30 as ** along with 3 people and 1 group twleung JeffreyPalmer lyongu NU-PRL
  • A New Way of Debugging Lisp Programs
    (1998)
    by C Flanagan, M Felleisen
    posted to cfa flow-analysis plt scheme by samth on 2005-01-24 23:21:52 as ** along with 1 person and 1 group JeffreyPalmer NU-PRL
  • Equality-based flow analysis versus recursive types
    ACM Trans. Program. Lang. Syst., Vol. 20, No. 6. (November 1998), pp. 1251-1264.
    by Jens Palsberg
    posted to flow-analysis types by samth on 2005-01-24 22:19:17 as ** along with 1 group NU-PRL
  • Programming Languages and Lambda Calculi
    (27 August 2003)
    by M Felleisen, M Flatt
    posted to plt by samth on 2005-01-24 22:17:26 as ** along with 1 person and 1 group ryanc NU-PRL
  • Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
    (December 1996)
    by D Tarditi
    posted to compiler ml ssa by samth on 2005-01-24 19:04:29 as ** along with 1 group NU-PRL
  • SSA is functional programming
    SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
    by Andrew W Appel
    posted to compiler ssa by samth on 2005-01-24 19:00:16 as ** along with 7 people and 2 groups dherman greenrd yallop JosephKoshy pejo voigt madhadron NU-PRL SRG_at_UCD
  • The scheme 311 compiler an exercise in denotational semantics
    (1984), pp. 356-364.
    by William Clinger
    posted to compiler scheme by samth on 2005-01-24 18:59:54 as ** along with 2 people and 1 group dalev ryanc NU-PRL
  • Rabbit: A Compiler for Scheme
    (1978)
    by Guy Steele
    posted to compiler scheme by samth on 2005-01-24 18:58:15 as ** along with 5 people and 1 group bfraser JeffreyPalmer dsilva calvins eblood NU-PRL
  • A practical and flexible flow analysis for higher-order languages
    ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 845-868.
    by Michael M Ashley, Kent K Dybvig
    posted to cfa compiler by samth on 2005-01-24 18:58:05 as ** along with 1 group NU-PRL
  • Control-flow analysis of higher-order languages or taming lambda
    (1991)
    by Olin G Shivers
    posted to cfa by samth on 2005-01-24 18:57:49 as ** along with 1 person and 1 group tov NU-PRL
  • TIL: A Type-Directed Optimizing Compiler for ML
    (1996), pp. 181-192.
    by D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee
    posted to compiler ml by samth on 2005-01-24 18:53:09 as ** along with 1 person and 1 group cdiggins NU-PRL
  • The essence of compiling with continuations
    SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514.
    by Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen
    posted to compiler continuations cps plt by samth on 2005-01-24 18:49:56 as ** along with 6 people and 1 group jkominek JeffreyPalmer yallop dsilva JosephKoshy ryanc NU-PRL
  • A correspondence between continuation passing style and static single assignment form
    Vol. 30, No. 3. (March 1995), pp. 13-22.
    by Richard A Kelsey
    posted to compiler cps ssa by samth on 2005-01-24 18:49:00 as ** along with 2 people and 1 group bfraser mcclurmc NU-PRL
  • From control effects to typed continuation passing
    Vol. 38, No. 1. (January 2003), pp. 139-149.
    by Hayo Thielecke
    posted to continuations effects by samth on 2005-01-10 16:17:20 as ** along with 2 people and 1 group twleung dherman NU-PRL
  • The semantics of future and its use in program optimization
    (1995), pp. 209-220.
    by Cormac Flanagan, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:46:22 as ** along with 3 people and 3 groups A_Olympia dsilva voigt NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Componential set-based analysis
    ACM Trans. Program. Lang. Syst., Vol. 21, No. 2. (March 1999), pp. 370-416.
    by Cormac Flanagan, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:43:02 as ** along with 1 person and 1 group dsilva NU-PRL
  • Modeling an Algebraic Stepper
    Lecture Notes in Computer Science
    by John Clements, Matthew Flatt, Matthias Felleisen
    posted to plt scheme stepper by samth on 2004-12-10 18:21:10 as ** along with 2 people and 1 group dherman ryanc NU-PRL
  • Programmable Syntax Macros
    (1993), pp. 156-165.
    by Daniel Weise, Roger F Crew
    posted to macros by samth on 2004-12-07 03:29:38 as ** along with 7 people and 1 group assnoodles twleung dherman JacquesC hamish cdiggins dfisher NU-PRL
  • Modules for standard ML
    (1984), pp. 198-207.
    by David Macqueen
    posted to ml modules by samth on 2004-12-02 00:23:46 as ** along with 1 person and 1 group gkuan NU-PRL
  • Using dependent types to express modular structure
    (1986), pp. 277-286.
    by David B Macqueen
    posted to ml modules types by samth on 2004-12-02 00:23:39 as ** along with 1 person and 1 group dwaern NU-PRL
  • A standard ML compiler
    (1987), pp. 301-324.
    by Andrew W Appel, David B Macqueen
    posted to compiler ml by samth on 2004-12-02 00:23:31 as ** along with 1 group NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/samth/order/to_read

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