新規登録 | ログイン | FAQ      [?] 

タグ: pl [135 articles]

Recent papers classified by the tag pl.
  • Bridges' Milton's Prosody and Renaissance Metrical Theory
    PMLA, Vol. 68, No. 1. (1953), pp. 268-285.
    by George A Kellog
    posted to bridges c17 meter milton pl poetics poetry prosody by travisbrown on 2007-06-25 15:02:23 as ****
  • Bentley's Milton: Philology and Criticism in Eighteenth-Century England
    Journal of the History of Ideas, Vol. 50, No. 4. (1989), pp. 549-568.
    by Joseph M Levine
    posted to bentley c17 c18 editing milton pl poetry prosody by travisbrown on 2007-06-25 15:52:11 as **
  • 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
  • LAMBDA: The Ultimate Declarative
    (1976)
    by Guy L Steele
    posted to history pl scheme by tov on 2006-10-06 01:55:51 as read along with 1 person and 1 group samth NU-PRL
  • 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 **
  • notes Implementing type classes
    (1993), pp. 227-236.
    by John Peterson, Mark Jones
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:31:27 as read
  • Extensible programming with first-class cases
    (2006), pp. 239-250.
    by Matthias Blume, Umut A Acar, Wonseok Chae
    posted to pl records types by tov on 2007-09-13 22:09:05 as read along with 1 person RalfMitschke
  • 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 ***
  • Objective ML: An effective object-oriented extension to ML
    Theory and Practice of Object Systems, Vol. 4, No. 1. (1998), pp. 27-50.
    by Didier Rémy, Jérôme Vouillon
    posted to pl records types by tov on 2007-09-06 23:18:26 as read
  • Constraining control
    (1985), pp. 245-254.
    by Daniel P Friedman, Christopher T Haynes
    posted to control pl by tov on 2006-10-06 02:07:18 as read along with 1 person hayeah
  • Implementation Strategies for First-Class Continuations
    Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45.
    by William D Clinger, Anne H Hartheimer, Eric M Ost
    posted to compilers control pl scheme by tov on 2006-10-06 02:16:09 as read along with 11 people and 1 group assnoodles samth twleung marcoil jacob eaubin JacquesC JeffreyPalmer yallop ryanc jkominek NU-PRL
  • 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 **
  • 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
  • Growing a Language
    Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
    by Guy Steele
    posted to history java pl by tov on 2006-10-06 01:57:23 as read along with 9 people and 1 group samth dherman JacquesC hamish bfraser ryanc calvins danlentz dmeister 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 **
  • 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
  • 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 **
  • 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
  • Phantom types
    (2003)
    by J Cheney, R Hinze
    posted to pl types by tov on 2007-09-10 17:10:52 as read along with 3 people and 1 group draganigajic keigoi jimburton Lambda the Ultimate
  • 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
  • Debunking the “Expensive Procedure Call”” Myth or, Procedure Call Implementations Considered Harmful or, LAMDBA: The Ultimate GOTO
    (1977)
    by Guy L Steele
    posted to history pl scheme by tov on 2006-10-06 01:56:28 as read along with 1 person and 1 group samth NU-PRL
  • The next 700 programming languages
    Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
    by PJ Landin
    posted to history pl by tov on 2006-10-06 02:03:17 as read along with 12 people RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang jwm0123 calvins flavian_vasile conal
  • 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
  • Control flow analysis in scheme
    Vol. 23, No. 7. (July 1988), pp. 164-174.
    by O Shivers
    posted to compilers pl by tov on 2007-09-10 15:59:39 as read along with 3 people and 1 group samth jacob pedagand NU-PRL
  • Type Classes in Haskell
    ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, SLP Simon, Philip L Wadler
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:30:23 as read along with 4 people and 2 groups dherman robennals rgb bendiken NU-PRL pileWorks
  • 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 **
  • 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 ***
  • 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
  • Composable and compilable macros: You want it when
    (2002)
    by M Flatt
    posted to macros pl scheme by tov on 2006-10-06 02:29:33 as read along with 10 people and 1 group sourada assnoodles samth dherman pnkfelix ryanc jkominek c_m_h cdiggins dfisher NU-PRL
  • 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
  • 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 **
  • A Syntactic Approach to Type Soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to history icfp08 pl types by tov on 2008-03-27 20:53:25 as read along with 11 people and 2 groups vkp greenrd tautologico bunge KarlKlose glaubersp mvermaat gkuan mcclurmc sclv nominolo SRG_at_UCD Lambda the Ultimate
  • notes Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:55 as read along with 11 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake calvins BMeph jimburton huitseeker NU-PRL SRG_at_UCD Lambda the Ultimate
  • 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
  • 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
  • Representing control in the presence of first-class continuations
    Vol. 25, No. 6. (June 1990), pp. 66-77.
    by R Hieb, Kent K Dybvig, Carl Bruggeman
    posted to control pl by tov on 2006-10-06 02:08:12 as read along with 2 people yallop ryanc
  • Definitional interpreters for higher-order programming languages
    (1972), pp. 717-740.
    by John C Reynolds
    posted to history pl by tov on 2006-10-06 01:59:32 as read along with 3 people darinm byorgey bunge
  • 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
  • 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
  • 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 **
  • Manticore: a heterogeneous parallel language
    (2007), pp. 37-44.
    by Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw, Yingqi Xiao
    posted to parproj pl by tov on 2007-09-13 22:17:36 as read
  • notes Type classes: an exploration of the design space
    (1997)
    by S Jones, M Jones, E Meijer
    posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:02 as read along with 1 person yallop
  • Lambda: The Ultimate Imperative
    (1976)
    by Guy L Steele, Gerald J Sussman
    posted to history pl scheme by tov on 2006-10-06 01:54:57 as read along with 7 people and 3 groups samth numata rahul Benja ajk brothers mbrentharp NU-PRL SRL Lambda the Ultimate
  • 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
  • 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
  • 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 **
  • Type-sensitive control-flow analysis
    (2006), pp. 74-83.
    by John Reppy
    posted to compilers pl by tov on 2007-09-10 16:10:47 as read along with 1 person bunge
  • 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 history pl scheme by tov on 2006-10-06 02:17:30 as read along with 6 people and 1 group samth dherman pnkfelix alec dfisher d23 NU-PRL
  • Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned
    SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269.
    by Olin Shivers
    posted to compilers pl by tov on 2007-09-10 16:00:24 as read along with 4 people and 1 group samth jrw dsilva pejo NU-PRL
  • 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 **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/pl

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