READTOO

   1
   2 Here are papers which are currently coming up in converstation.
   3
   4 This list is intended to be more transient and speculative than
   5 READTHEM, but less transient, and perhaps more curated, than #perl6.
   6 It was prompted by me having to grovel over several weeks of irc log
   7 to dig up the name of a paper I wanted to read.
   8
   9 Adding comments about the papers is welcome/encouraged.
  10
  11 Papers which stick around for a while, or are highly thought of, or
  12 relevant could be moved to READTHEM.
  13
  14 Last updated 2007-Feb-23.
  15 At bottom. :/
  16
  17 A Functional Perspective on SSA Optimisation Algorithms
  18 http://www.cse.unsw.edu.au/~chak/papers/CKZ03.html
  19 [mentioned by autrijus, 2005-10-03]
  20 http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-03,Mon#l1354
  21
  22 The Banana Papers
  23 Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
  24 http://citeseer.ist.psu.edu/meijer91functional.html
  25 Bananas in Space: Extending Fold and Unfold to Exponential Types
  26 http://citeseer.ist.psu.edu/293490.html
  27 Revisiting Catamorphisms over Datatypes with Embedded Functions
  28 http://citeseer.ist.psu.edu/fegaras96revisiting.html
  29 Dealing with Large Bananas
  30 http://citeseer.ist.psu.edu/lammel00dealing.html
  31 [mentioned by autrijus, 2005-10-11]
  32 http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-11,Tue#l849
  33
  34 Object-Oriented Style Overloading for Haskell
  35 http://research.microsoft.com/Users/simonpj/Papers/oo-haskell/overloading_conf.pdf
  36 [mentioned by gaal, 2005-10-30]
  37 http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-30,Sun#l648
  38
  39 Papers about transactional memory in Haskell
  40 http://research.microsoft.com/users/simonpj/papers/stm/
  41 [mentioned by fanf2, 2005-11-03]
  42 http://colabti.de/irclogger/irclogger_log/perl6?date=2005-11-03,Thu#l373
  43
  44 A Gentle Introduction to Semantic Subtyping
  45 http://www.cduce.org/papers/gentle.pdf
  46 http://www.cduce.org/papers.html
  47 [mentioned by autrijus, 2005-11-26]
  48 http://colabti.de/irclogger/irclogger_log/perl6?date=2005-11-26,Sat#l78
  49
  50 Hybrid Type Checking
  51 http://www.soe.ucsc.edu/~cormac/papers/popl06-hybrid.ps
  52 http://obfusco.com/tmp/popl06-hybrid.pdf
  53 [mentioned by audreyt, 2006-Jan]
  54
  55 Haskell is not not ML
  56 http://research.microsoft.com/%7Esimonpj/papers/not-not-ml/index.htm
  57 http://lambda-the-ultimate.org/node/1248
  58 [mentioned by audreyt, 2006-Jan]
  59
  60 Types for Modules
  61 http://www.dcs.ed.ac.uk/home/cvr/ECS-LFCS-98-389.html
  62 [mentioned by stevan, 2006-Jan]
  63
  64 Scalable Component Abstractions
  65 http://lamp.epfl.ch/~odersky/papers/ScalableComponent.pdf
  66 http://lambda-the-ultimate.org/node/926
  67 [mentioned by putter, 2006-01-16]
  68 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-16,Mon#l44
  69
  70 MapReduce: Simplified Data Processing on Large Clusters
  71 http://labs.google.com/papers/mapreduce-osdi04-slides/index.html
  72 [mentioned by nothingmuch, 2006-01-25]
  73 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-25,Wed#l300
  74
  75 Digital Manipulatives: New Toys to Think With
  76 http://web.media.mit.edu/~mres/papers/chi-98/digital-manip.html
  77 [mentioned by putter, 2006-01-27]
  78 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-27,Fri#l415
  79
  80 The History of Haskell (draft)
  81 http://haskell.org/haskellwiki/History_of_Haskell
  82 [mentioned by audreyt, 2006-02-11]
  83 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-02-11,Sat#l263
  84
  85 The 3 early boilerplate papers, by Simon Peyton Jones
  86 http://www.cs.vu.nl/boilerplate/#papers
  87 [mentioned by stevan, 2006-03-03]
  88 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-03-03,Fri#l27
  89
  90 Growing a Language
  91 http://homepages.inf.ed.ac.uk/wadler/steele-oopsla98.pdf
  92 [mentioned by audreyt, 2006-03-14]
  93 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-03-14,Tue#l1145
  94
  95 Combinators for bi-directional tree transformations
  96 a linguistic approach to the view update problem
  97 http://portal.acm.org/citation.cfm?id=1040305.1040325
  98 [mentioned by audreyt, 2006-04-03]
  99 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-04-03,Mon#l462
 100
 101 Traits Papers
 102 http://www.iam.unibe.ch/~scg/Research/Traits/
 103 [mentioned by stevan, 2006-05-16]
 104 <stevan> [...] (1st and 3rd papers in the list)
 105 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-05-16,Tue#l841
 106
 107 SuperGlue: Component Programming with Object-oriented Signals
 108 http://lamp.epfl.ch/~mcdirmid/papers/mcdirmid06superglue.pdf
 109 http://lambda-the-ultimate.org/node/1545
 110 [mentioned by nothingmuch, 2006-06-07]
 111 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-06-07,Wed#l484
 112
 113 Open data types and open functions
 114 http://lambda-the-ultimate.org/node/1453
 115 [mentioned by audreyt 2006-07-31]
 116 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-07-31,Mon&sel=283#l459
 117
 118 Software Extension and Integration with Type Classes
 119 http://lambda-the-ultimate.org/node/1657
 120 [mentioned by audreyt 2006-08-06]
 121 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-09,Wed&sel=20#l41
 122
 123 Smash your boiler-plate without class and Typeable
 124 http://www.haskell.org/pipermail/haskell/2006-August/018353.html
 125 [mentioned by audreyt 2006-08-13]
 126 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-13,Sun&sel=323#l571
 127
 128 The Semicolon Wars
 129 http://www.americanscientist.org/template/AssetDetail/assetid/51982
 130 [mentioned by [particle] 2006-08-14]
 131
 132 Gradual Typing for Functional Languages
 133 http://www.cs.colorado.edu/~siek/pubs/pubs/2006/siek06:_gradual.pdf
 134 http://lambda-the-ultimate.org/node/1707
 135 [mentioned by nothingmuch 2006-08-30]
 136 http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-30,Wed#l615
 137
 138 Title: Rewriting Haskell Strings
 139 http://www.cse.unsw.edu.au/~dons/papers/CSL06.html
 140 [mentioned by audreyt 2006-09-04]
 141
 142 Software Extension and Integration with Type Classes
 143 http://homepages.cwi.nl/~ralf/gpce06/
 144 [mentioned by gaal 2006-10-10]
 145
 146 Open data types and open functions
 147 http://lambda-the-ultimate.org/node/1453
 148 [mentioned by gaal 2007-Feb-23]
 149 [duplicate]
 150 "an advantage of using existentials as they are layed out in this
 151  newVal thing is "open types" ... the idea is code organization, you
 152  can define a type in some Hs compilation unit other than where the
 153  base Val type was mentioend"
 154
 155 A language-based approach to unifying events and threads
 156 [mentioned by audreyt 2007-Feb-09]
 157 http://www.seas.upenn.edu/~lipeng/homepage/unify.html