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