Register | Log in | FAQ      [?] 

Tag icfp08 [20 articles]

Recent papers classified by the tag icfp08.
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
    • Note: You may cite this page as: http://www.citeulike.org/tag/icfp08

    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.