Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

tov's library [98 articles]

Recent papers added to tov's library.
  • 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 types pl ml by tov on 2008-06-04 18:28:12 as **
  • Generalising monads to arrows
    Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
    by John Hughes
    posted to haskell pl types by tov on 2008-04-04 20:58:00 as read along with 4 people alec calvins pedagand americovargas
  • 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 **
  • 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 icfp08 ml pl by tov on 2008-03-29 22:59:30 as read along with 2 people huitseeker Ema
  • 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 sven_luzar myui samth greenrd plaugg dullhunk 7oby bringert cruediger federicopaoloni NU-PRL SRG_at_UCD
  • 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
  • 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 nominolo sclv mcclurmc vkp greenrd tautologico bunge KarlKlose glaubersp mvermaat gkuan Lambda the Ultimate SRG_at_UCD
  • 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 **
  • Genuine shift/reset in Haskell98
    The Haskell Mailing List (12 December 2007)
    by Oleg Kiselyov
    posted to haskell icfp08 pl types by tov on 2008-03-27 11:11:29 as read
  • Simple variable-state `monad'
    The Haskell Mailing List (18 December 2006)
    by Oleg Kiselyov
    posted to haskell icfp08 pl types by tov on 2008-03-27 11:10:15 as read
  • 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 jimburton msakai shimomura marcinzalewski JacquesC yallop spl iff americovargas 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 7 people 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
  • 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
  • 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 ****
  • An implementation of session types
    (2004)
    by M Neubauer, P Thiemann
    posted to concurrency haskell icfp08 types by tov on 2008-01-11 20:20:15 as read along with 1 person keigoi
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to concurrency haskell pl types by tov on 2007-10-19 22:33:40 as read along with 2 people conal americovargas
  • 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
  • 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
  • Chapel Specification 0.4
    (4 February 2005)
    posted to parproj pl by tov on 2007-09-15 00:15:22 as **
  • 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 ***
  • 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 **
  • 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 ***
  • 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 **
  • Direct parallelization of call statements
    (1986), pp. 176-185.
    by Rémi Triolet, Francois Irigoin, Paul Feautrier
    posted to compilers parproj pl by tov on 2007-09-13 22:30:34 as read
  • 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 **
  • Data parallel Haskell: a status report
    (2007), pp. 10-18.
    by Manuel MT Chakravarty, Roman Leshchinskiy, Simon P Jones, Gabriele Keller, Simon Marlow
    posted to parproj pl types by tov on 2007-09-13 22:23:46 as read along with 2 people pedagand brecknell
  • 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 ***
  • 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
  • MLPolyR
    (Spring 2005)
    by Matthias Blume
    posted to pl records types by tov on 2007-09-13 22:14: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
  • 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
  • Data-flow analysis and type recovery in Scheme
    Technical Report, Vol. CMU-CS-90, No. 115. (March 1990)
    by Olin Shivers
    posted to compilers pl by tov on 2007-09-11 21:43:36 as read
  • 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 2 people and 1 group keigoi jimburton Lambda the Ultimate
  • Phantom types and subtyping
    Journal of Functional Programming, Vol. 16, No. 06. (9 June 2006), pp. 751-791.
    by Matthew Fluet, Riccardo Pucella
    posted to pl records types by tov on 2007-09-10 17:01:25 as read
  • 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
  • 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
  • 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
    • Note: You may cite this page as: http://www.citeulike.org/user/tov

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