
Here are papers which are currently coming up in converstation.

This list is intended to be more transient and speculative than
READTHEM, but less transient, and perhaps more curated, than #perl6.
It was prompted by my having to grovel over several weeks of irc log
to dig up the name of a paper I wanted to read.

Adding comments about the papers is welcome/encouraged.

Papers which stick around for a while, or are highly thought of, or
relevant could be moved to READTHEM.

Last updated 2006-10-10.

A Functional Perspective on SSA Optimisation Algorithms
http://www.cse.unsw.edu.au/~chak/papers/CKZ03.html
[mentioned by autrijus, 2005-10-03]
http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-03,Mon#l1354

The Banana Papers
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
http://citeseer.ist.psu.edu/meijer91functional.html
Bananas in Space: Extending Fold and Unfold to Exponential Types
http://citeseer.ist.psu.edu/293490.html
Revisiting Catamorphisms over Datatypes with Embedded Functions
http://citeseer.ist.psu.edu/fegaras96revisiting.html
Dealing with Large Bananas
http://citeseer.ist.psu.edu/lammel00dealing.html
[mentioned by autrijus, 2005-10-11]
http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-11,Tue#l849

Object-Oriented Style Overloading for Haskell
http://research.microsoft.com/Users/simonpj/Papers/oo-haskell/overloading_conf.pdf
[mentioned by gaal, 2005-10-30]
http://colabti.de/irclogger/irclogger_log/perl6?date=2005-10-30,Sun#l648

Papers about transactional memory in Haskell
http://research.microsoft.com/users/simonpj/papers/stm/
[mentioned by fanf2, 2005-11-03]
http://colabti.de/irclogger/irclogger_log/perl6?date=2005-11-03,Thu#l373

A Gentle Introduction to Semantic Subtyping
http://www.cduce.org/papers/gentle.pdf
http://www.cduce.org/papers.html
[mentioned by autrijus, 2005-11-26]
http://colabti.de/irclogger/irclogger_log/perl6?date=2005-11-26,Sat#l78

Hybrid Type Checking
http://www.soe.ucsc.edu/~cormac/papers/popl06-hybrid.ps
http://obfusco.com/tmp/popl06-hybrid.pdf
[mentioned by audreyt, 2006-Jan]

Haskell is not not ML
http://research.microsoft.com/%7Esimonpj/papers/not-not-ml/index.htm
http://lambda-the-ultimate.org/node/1248
[mentioned by audreyt, 2006-Jan]

Types for Modules
http://www.dcs.ed.ac.uk/home/cvr/ECS-LFCS-98-389.html
[mentioned by stevan, 2006-Jan]

Scalable Component Abstractions
http://lamp.epfl.ch/~odersky/papers/ScalableComponent.pdf
http://lambda-the-ultimate.org/node/926
[mentioned by putter, 2006-01-16]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-16,Mon#l44

MapReduce: Simplified Data Processing on Large Clusters
http://labs.google.com/papers/mapreduce-osdi04-slides/index.html
[mentioned by nothingmuch, 2006-01-25]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-25,Wed#l300

Digital Manipulatives: New Toys to Think With
http://web.media.mit.edu/~mres/papers/chi-98/digital-manip.html
[mentioned by putter, 2006-01-27]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-01-27,Fri#l415

The History of Haskell (draft) 
http://haskell.org/haskellwiki/History_of_Haskell
[mentioned by audreyt, 2006-02-11]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-02-11,Sat#l263

The 3 early boilerplate papers, by Simon Peyton Jones
http://www.cs.vu.nl/boilerplate/#papers
[mentioned by stevan, 2006-03-03]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-03-03,Fri#l27

Growing a Language
http://homepages.inf.ed.ac.uk/wadler/steele-oopsla98.pdf 
[mentioned by audreyt, 2006-03-14]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-03-14,Tue#l1145

Combinators for bi-directional tree transformations
a linguistic approach to the view update problem
http://portal.acm.org/citation.cfm?id=1040305.1040325
[mentioned by audreyt, 2006-04-03]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-04-03,Mon#l462

Traits Papers
http://www.iam.unibe.ch/~scg/Research/Traits/
[mentioned by stevan, 2006-05-16]
<stevan> [...] (1st and 3rd papers in the list)
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-05-16,Tue#l841

SuperGlue: Component Programming with Object-oriented Signals
http://lamp.epfl.ch/~mcdirmid/papers/mcdirmid06superglue.pdf 
http://lambda-the-ultimate.org/node/1545
[mentioned by nothingmuch, 2006-06-07]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-06-07,Wed#l484

Open data types and open functions
http://lambda-the-ultimate.org/node/1453
[mentioned by audreyt 2006-07-31]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-07-31,Mon&sel=283#l459

Software Extension and Integration with Type Classes
http://lambda-the-ultimate.org/node/1657
[mentioned by audreyt 2006-08-06]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-09,Wed&sel=20#l41

Smash your boiler-plate without class and Typeable
http://www.haskell.org/pipermail/haskell/2006-August/018353.html
[mentioned by audreyt 2006-08-13]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-13,Sun&sel=323#l571

The Semicolon Wars
http://www.americanscientist.org/template/AssetDetail/assetid/51982
[mentioned by [particle] 2006-08-14]

Gradual Typing for Functional Languages
http://www.cs.colorado.edu/~siek/pubs/pubs/2006/siek06:_gradual.pdf
http://lambda-the-ultimate.org/node/1707
[mentioned by nothingmuch 2006-08-30]
http://colabti.de/irclogger/irclogger_log/perl6?date=2006-08-30,Wed#l615

Title: Rewriting Haskell Strings
http://www.cse.unsw.edu.au/~dons/papers/CSL06.html
[mentioned by audreyt 2006-09-04]

Software Extension and Integration with Type Classes
http://homepages.cwi.nl/~ralf/gpce06/
[mentioned by gaal 2006-10-10]
