-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathREADTOO
157 lines (126 loc) · 6.02 KB
/
READTOO
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
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 me 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]
<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]
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