| 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 my 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 | Monad Transformers Step by Step |
|---|
| 147 | http://uebb.cs.tu-berlin.de/~magr/pub/Transformers.en.html |
|---|
| 148 | [mentioned on anarchaia 2006-10-10] |
|---|
| 149 | |
|---|
| 150 | Open data types and open functions |
|---|
| 151 | http://lambda-the-ultimate.org/node/1453 |
|---|
| 152 | [mentioned by gaal 2007-Feb-23] |
|---|
| 153 | [duplicate] |
|---|
| 154 | "an advantage of using existentials as they are layed out in this |
|---|
| 155 | newVal thing is "open types" ... the idea is code organization, you |
|---|
| 156 | can define a type in some Hs compilation unit other than where the |
|---|
| 157 | base Val type was mentioend" |
|---|
| 158 | |
|---|
| 159 | A language-based approach to unifying events and threads |
|---|
| 160 | [mentioned by audreyt 2007-Feb-09] |
|---|
| 161 | http://www.seas.upenn.edu/~lipeng/homepage/unify.html |
|---|
