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

tov library [98 articles]

最近 tov さんのライブラリ (優先度順).
  • Associated types with class
    (2005)
    by M Chakravarty, G Keller, S Jones, S Marlow
    posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as ****
  • Hygienic macros through explicit renaming
    (1991)
    by W Clinger
    posted to macros pl scheme by tov on 2006-10-06 02:14:57 as **** along with 1 person and 1 group dherman NU-PRL
  • Macros that work
    (1991), pp. 155-162.
    by William Clinger
    posted to macros pl scheme by tov on 2006-10-06 02:10:35 as **** along with 8 people and 1 group assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc jkominek NU-PRL
  • Parameterized Notions of Computation
    Proceedings of Workshop on Mathematically Structured Functional Programming (July 2006)
    by Robert Atkey
    posted to haskell icfp08 pl types by tov on 2008-01-25 19:41:56 as *** along with 2 people mstone alec
  • Dynamic Typing as Staged Type Inference
    (1998), pp. 289-302.
    by Mark Shields, Tim Sheard, SLP Simon
    posted to parproj pl types by tov on 2007-10-08 23:10:26 as *** along with 2 people and 1 group twleung dherman NU-PRL
  • NESL: A Nested Data-Parallel Language (Version 3.1)
    by Guy E Blelloch
    posted to compilers parproj pl by tov on 2007-09-14 23:54:35 as ***
  • Continuations and threads: Expressing machine concurrency directly in advanced languages
    (14 January 1997)
    by Olin Shivers
    posted to parproj pl by tov on 2007-09-14 23:46:17 as ***
  • A dictionary of APL
    SIGAPL APL Quote Quad, Vol. 18, No. 1. (September 1987), pp. 5-40.
    by Kenneth E Iverson
    posted to apl parproj pl by tov on 2007-09-13 22:36:06 as ***
  • Notation as a tool of thought
    SIGAPL APL Quote Quad, Vol. 35, No. 1-2. (2007), pp. 2-31.
    by Kenneth E Iverson
    posted to parproj pl syntax by tov on 2007-09-13 22:34:20 as ***
  • Functional array fusion
    Vol. 36, No. 10. (October 2001), pp. 205-216.
    by Manuel MT Chakravarty, Gabriele Keller
    posted to parproj pl types by tov on 2007-09-13 22:23:43 as *** along with 4 people and 1 group greenrd voigt balicea wtribbey SRG_at_UCD
  • More types for nested data parallel programming
    (2000), pp. 94-105.
    by Manuel MT Chakravarty, Gabriele Keller
    posted to parproj pl types by tov on 2007-09-13 22:23:40 as ***
  • A formulae-as-type notion of control
    (1990), pp. 47-58.
    by Timothy G Griffin
    posted to control logic scheme by tov on 2007-03-02 21:54:46 as ***
  • Representing Type Information in Dynamically-Typed Languages
    No. TR93-27. (1993)
    by David Gudeman
    posted to pl scheme types by tov on 2006-10-12 20:17:44 as ***
  • Lambda, the ultimate label or a simple optimizing compiler for Scheme
    (1994), pp. 128-139.
    by William D Clinger, Lars T Hansen
    posted to compilers pl scheme by tov on 2006-10-06 02:15:56 as *** along with 6 people and 1 group samth dherman eaubin pnkfelix JeffreyPalmer ryanc NU-PRL
  • Proper tail recursion and space efficiency
    Vol. 33, No. 5. (May 1998), pp. 174-185.
    by William D Clinger
    posted to compilers pl scheme by tov on 2006-10-06 02:15:19 as *** along with 8 people and 1 group egh samth marcoil pnkfelix JeffreyPalmer dsilva ryanc ajk NU-PRL
  • Sound and Decidable Type Inference for Functional Dependencies
    by G Duck, Peyton, P Stuckey, M Sulzmann
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:50 as *** along with 1 person zednenem
  • An extended comparative study of language support for generic programming
    Journal of Functional Programming, Vol. 17, No. 02. (2006), pp. 145-205.
    by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
    posted to ml pl types by tov on 2008-06-04 18:28:12 as **
  • Towards a theory of type structure
    Programming Symposium, Vol. 19 (1974), pp. 408-425.
    by John Reynolds
    posted to history icfp08 pl types by tov on 2008-03-30 18:21:06 as **
  • Colored local type inference
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 41-53.
    by Martin Odersky, Christoph Zenger, Matthias Zenger
    posted to icfp08 pl types by tov on 2008-03-29 20:58:40 as ** along with 1 person mstock
  • Uniqueness Typing for Functional Languages with Graph Rewriting Semantics
    Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612.
    by Erik Barendsen, Sjaak Smetsers
    posted to icfp08 pl types by tov on 2008-03-29 19:44:55 as ** along with 1 person mcclurmc
  • Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
    Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
    by NG de Bruijn
    posted to icfp08 pl by tov on 2008-03-27 20:46:03 as ** along with 2 people alec pile
  • Reentrant polygon clipping
    Commun. ACM, Vol. 17, No. 1. (January 1974), pp. 32-42.
    by Ivan E Sutherland, Gary W Hodgman
    posted to concurrency icfp08 pl by tov on 2008-03-27 11:49:57 as ** along with 1 person denizinho
  • CML: A higher concurrent language
    Vol. 26, No. 6. (June 1991), pp. 293-305.
    by John H Reppy
    posted to concurrency icfp08 ml pl types by tov on 2008-03-27 11:49:17 as ** along with 1 person dsilva
  • Continuations and transducer composition
    (2006), pp. 295-307.
    by Olin Shivers, Matthew Might
    posted to concurrency icfp08 pl by tov on 2008-03-27 11:48:09 as **
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf Lammel, Keean Schupke
    posted to haskell icfp08 pl records types by tov on 2008-03-27 11:05:41 as ** along with 9 people and 1 group JacquesC yallop spl iff americovargas msakai marcinzalewski shimomura jimburton NU-PRL
  • Concurrent Programming in ML
    (1999)
    by John H Reppy
    posted to concurrency haskell icfp08 ml pl by tov on 2008-03-27 10:52:17 as **
  • Concurrent Haskell
    (February 1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
    posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:49:23 as ** along with 8 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip calvins conal
  • The Glasgow Haskell compiler: a technical overview
    (93)
    by Simon, Cordelia V Hall, Kevin Hammond, Will Partain, Philip Wadler
    posted to haskell icfp08 pl by tov on 2008-03-27 10:46:48 as ** along with 4 people and 1 group jrw rahul robennals tmiya SRL
  • Haskell 98 Language and Libraries: The Revised Report
    (05 May 2003)
    by Simon P Jones
    posted to haskell icfp08 pl by tov on 2008-03-27 10:46:10 as ** along with 2 people and 1 group samth jimburton NU-PRL
  • Session types for inter-process communication
    (2003)
    by S Gay, V Vasconcelos, A Ravara
    posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:45:19 as **
  • Types and Subtypes for Client-Server Interactions
    (1999), pp. 74-90.
    by Simon J Gay, Malcolm Hole
    posted to concurrency icfp08 pl types by tov on 2008-03-27 10:43:59 as **
  • Parametric Overloading in Polymorphic Programming Languages
    (1988), pp. 131-144.
    by Stefan Kaes
    posted to haskell pl typeclasses types by tov on 2008-02-29 19:13:03 as ** along with 1 person yallop
  • Languages of the Future
    by Tim Sheard
    posted to parproj pl types by tov on 2007-10-08 23:10:43 as ** along with 5 people and 1 group twleung eaubin bdauvergne mahler americovargas Rightscom
  • Chapel Specification 0.4
    (4 February 2005)
    posted to parproj pl by tov on 2007-09-15 00:15:22 as **
  • Formalism in programming languages
    Commun. ACM, Vol. 7, No. 2. (February 1964), pp. 80-88.
    by Kenneth E Iverson
    posted to apl parproj pl by tov on 2007-09-13 22:38:24 as **
  • Code generation in the polyhedral model is easier than you think
    Parallel Architecture and Compilation Techniques, 2004. PACT 2004. Proceedings. 13th International Conference on (2004), pp. 7-16.
    by C Bastoul
    posted to compilers parproj pl by tov on 2007-09-13 22:30:38 as **
  • Putting Polyhedral Loop Transformations to Work
    Languages and Compilers for Parallel Computing (2004), pp. 209-225.
    by Cédric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, Olivier Temam
    posted to compilers parproj pl by tov on 2007-09-13 22:29:22 as **
  • Selectors Make Analyzing case-lambda Too Hard
    by Philippe Meunier, Robby Findler, Paul A Steckler, Mitchell Wand
    posted to compilers pl scheme by tov on 2007-09-11 21:47:09 as ** along with 1 person and 1 group samth NU-PRL
  • Control-flow analysis of higher-order languages or taming lambda
    (1991)
    by Olin G Shivers
    posted to compilers pl by tov on 2007-09-10 16:00:48 as ** along with 1 person and 1 group samth NU-PRL
  • The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines
    Journal of Statistical Physics, Vol. V22, No. 5. (1 May 1980), pp. 563-591.
    by Paul Benioff
    posted to quantum by tov on 2006-11-08 18:23:16 as ** along with 2 people chryssaxeni tati
  • Quantum Computational Networks
    Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, Vol. 425, No. 1868. (1989), pp. 73-90.
    by D Deutsch
    posted to quantum by tov on 2006-11-08 18:22:09 as **
  • First-class macros have types
    (2000), pp. 133-141.
    by Alan Bawden
    posted to macros pl by tov on 2006-10-06 02:30:27 as ** along with 5 people and 1 group pedagand samth ryanc c_m_h dfisher NU-PRL
  • Faking it---simulating dependent types in Haskell
    (2001)
    by C Mcbride
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:08 as ** along with 6 people and 2 groups draganigajic twleung dherman JacquesC greenrd sclv NU-PRL SRG_at_UCD
  • Java(TM) Language Specification, The (3rd Edition) (Java Series)
    (08 July 2005)
    by James Gosling, Bill Joy, Guy Steele, Gilad Bracha
    posted to icfp08 java pl by tov on 2008-03-29 22:56:47 as * along with 10 people and 2 groups samth greenrd plaugg dullhunk 7oby bringert cruediger federicopaoloni myui sven_luzar NU-PRL SRG_at_UCD
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/tov/order/to_read

    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.