spl's library 332 articles Export

Ordered by to_read.

	Flask: Staged Functional Programming for Sensor Networks [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted to domain-specific-languages embedded-systems functional-reactive haskell metaprogramming by spl on 2009-04-01 10:31:23 as
	Organizing Functional Code for Parallel Execution or, foldl and foldr Considered Slightly Harmful [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 1-2. by Guy L. Steele posted to parallel-programming monoids functional-programming fold by spl on 2009-09-07 11:47:58 as
	Comonadic functional attribute evaluation [My Copy] Trends in Functional Programming 6 (2007), pp. 145-162. by Tarmo Uustalu, Varmo Vene edited by Marko van Eekelen posted to zipper submit-incremental streams incremental haskell dataflow comonads attribute-grammars by spl on 2009-03-23 20:44:27 as along with 5 people and 2 groups dherman greenrd jrw zednenem EdwardKmett NU-PRL SRG_at_UCD
	Type-indexed data types [My Copy] Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 117-151. by Ralf Hinze, Johan Jeuring, Andres Löh posted to datatype-generic generic-haskell generics type-indexed zipper by spl on 2009-02-06 16:31:41 as along with 2 people hamish yallop
	Polytypic Programming in Haskell [My Copy] Implementation of Functional Languages (September 2003), pp. 168-184. by Ulf Norell, Patrik Jansson posted to datatype-generic generics haskell libraries type-classes by spl on 2008-06-06 16:15:56 as
	The Implementation of Functional Programming Languages [My Copy] (01 May 1987) by Simon L. Peyton Jones posted to compilers functional-programming garbage-collection graph-reduction implementation interpreters lambda-calculus list-comprehensions miranda parallel-programming pattern-matching semantics strictness-analysis type-checking by spl on 2008-05-30 13:46:20 as along with 4 people pedagand tautologico Benja benchambers
	Google's MapReduce programming model -- Revisited [My Copy] Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30. by Ralf Lämmel posted to distributed-computing haskell mapreduce parallel-programming sawzall by spl on 2008-01-25 19:19:05 as along with 13 people Jingbo zhaomin myui dynam rijo eddymier AbnerCYH angus marcinzalewski pdlug JeffreyPalmer jrw alexandrodss
	Monads for incremental computing [My Copy] In ICFP 2002 (2002), pp. 26-35. by Magnus Carlsson posted to submit-incremental monads incremental haskell adaptive by spl on 2008-01-24 16:55:55 as
	Fun with type functions [My Copy] (2 July 2009) by Oleg Kiselyov, Simon L. Peyton Jones, Chung-chieh Shan posted to type-functions type-families session-types printf phantom-types memoization haskell graph ghc generics finite-maps associated-types by spl on 2009-09-12 16:58:02 as
	Scripting XML with Generic Haskell [My Copy] In 7th Brazilian Symposium on Programming Languages, SBLP 2003 (2003) by Frank Atanassow, Dave Clarke, Johan Jeuring posted to compression datatype-generic generic-haskell generics haskell xml by spl on 2009-08-07 11:38:15 as
	Efficiency by Incrementalization: An Introduction [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 4. (1 December 2000), pp. 289-313. by Yanhong A. Liu posted to program-transformation incremental imperative-programming by spl on 2009-07-21 12:57:07 as along with 1 person makowsms
	Formatting: a class act [My Copy] Journal of Functional Programming, Vol. 13, No. 05. (2003), pp. 935-944. by Ralf Hinze posted to unparsers printf parsers haskell functors formatting continuations by spl on 2009-06-19 12:41:42 as
	A Translation from Attribute Grammars to Catamorphisms [My Copy] Vol. 2, No. 1. (1991), pp. 20-26. by Maarten M. Fokkinga, Johan Jeuring, Lambert Meertens, Erik Meijer posted to submit-incremental functors catamorphism attribute-grammars by spl on 2009-04-10 14:11:24 as
	ML Modules and Haskell Type Classes: A Constructive Comparison [My Copy] Programming Languages and Systems (2008), pp. 188-204. by Stefan Wehr, Manuel Chakravarty posted to haskell ml modularity type-classes by spl on 2009-04-08 16:12:31 as
	Functional Polytypic Programming [My Copy] (May 2000) by Patrik Jansson posted to datatype-generic functional-programming generics haskell polyp thesis by spl on 2009-04-02 13:59:22 as
	Sorting Morphisms [My Copy] Advanced Functional Programming (1999), pp. 1-27. by Lex Augusteijn posted to anamorphism catamorphism data-structures hylomorphism paramorphism recursion sorting by spl on 2009-04-01 13:55:34 as
	Generic Programming: An Introduction [My Copy] Advanced Functional Programming (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens edited by S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira posted to category-theory datatype-generic generics introduction libraries polyp unification by spl on 2008-08-08 14:25:57 as along with 4 people ansobol pedagand draganigajic americovargas
	Perfect trees and bit-reversal permutations [My Copy] Journal of Functional Programming, Vol. 10, No. 03. (2000), pp. 305-317. by Ralf Hinze posted to fold haskell nested-datatypes performance rank-2-polymorphism unfold by spl on 2008-06-11 18:19:57 as
	PolyLib---a library of polytypic functions [My Copy] In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998) by Patrik Jansson, Johan Jeuring edited by Roland Backhouse, Tim Sheard posted to bifunctors datatype-generic generics libraries polyp transpose zip by spl on 2008-06-11 16:36:49 as
	Functor Pulling [My Copy] In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998) by Lambert Meertens edited by Roland Backhouse, Tim Sheard posted to category-theory crush functors generics transpose by spl on 2008-06-06 15:47:32 as along with 1 person draganigajic
	Uniform Boilerplate and List Processing [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 49-60. by Neil Mitchell, Colin Runciman posted to boilerplate generics traversals by spl on 2008-06-02 13:11:08 as along with 1 person sebfisch
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351. by Ralf Hinze edited by Paul Hudak, Greg Morrisett posted to tries rank-2-polymorphism haskell generics exponentials datatype-generic by spl on 2008-05-28 17:36:27 as
	Towards a practical programming language based on dependent type theory [My Copy] (2007) by Ulf Norell posted to agda dependent-types submit-gdiff thesis by spl on 2008-05-22 10:42:47 as
	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine [My Copy] J. of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202. by Simon L. Peyton Jones posted to compilers functional-programming non-strict-evaluation by spl on 2008-05-14 08:32:11 as along with 7 people JeffreyPalmer jrw zednenem damaru benchambers jpetry donniejones18
	Generic Haskell: Practice and Theory [My Copy] Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring posted to generic-haskell by spl on 2008-04-23 11:06:08 as along with 2 people yallop msakai
	Generic Haskell: Applications [My Copy] Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring posted to zipper xml type-indexed tries generics generic-haskell dictionaries datatype-generic by spl on 2008-04-23 11:02:06 as
	Generic Views on Data Types [My Copy] MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction In MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction (July 2006), pp. 209-234. by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Yakushev edited by Tarmo Uustalu posted to datatype-generic generic-haskell generics submit-gdiff views by spl on 2008-04-21 09:44:21 as along with 1 person marcinzalewski
	Type Classes with Functional Dependencies [My Copy] In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems (2000), pp. 230-244. by Mark P. Jones posted to functional-dependencies haskell type-classes by spl on 2008-04-19 10:46:18 as along with 1 person msakai
	Exploring Generic Haskell [My Copy] (2004) by Andres Löh posted to datatype-generic generic-haskell generics submit-gdiff thesis type-indexed type-inference views zipper by spl on 2008-04-15 13:09:01 as
	Derivable Type Classes [My Copy] In 4th Haskell Workshop (17 September 2000) by Ralf Hinze, Simon L. Peyton Jones edited by Graham Hutton posted to deriving generics haskell type-classes by spl on 2008-04-12 20:09:29 as along with 3 people zednenem conal americovargas
	Associated Types with Class [My Copy] In POPL 2005 (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow posted to associated-types haskell type-classes type-families type-indexed by spl on 2008-04-11 13:45:39 as along with 10 people and 2 groups samth greenrd zednenem bec voigt msakai bonotake gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	Scrap More Boilerplate: Reﬂection, Zips, and Generalised Casts [My Copy] In ICFP 2004, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf Lämmel, Simon L. Peyton Jones posted to boilerplate datatype-generic generics haskell reflection syb zip by spl on 2008-03-31 18:46:01 as along with 4 people and 2 groups samth greenrd yallop americovargas NU-PRL SRG_at_UCD
	Finger trees: a simple general-purpose data structure [My Copy] Journal of Functional Programming, Vol. 16, No. 02. (2005), pp. 197-217. by Ralf Hinze, Ross Paterson posted to data-structures haskell by spl on 2008-02-19 15:02:03 as along with 1 person ghulette
	TypeCase: A Design Pattern for Type-Indexed Functions [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 98-109. by Bruno C. Oliveira, Jeremy Gibbons posted to design-patterns generics haskell type-classes type-indexed by spl on 2008-02-14 12:55:17 as along with 2 people and 1 group yallop voigt ConcertRG
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to free-theorems lambda-calculus parametricity parametric-polymorphism by spl on 2008-01-31 10:20:07 as along with 7 people and 1 group fvogels byorgey amp269 voigt paper_jac robdockins nominolo ConcertRG
	An Applicative Control-Flow Graph Based on Huet's Zipper [My Copy] Electronic Notes in Theoretical Computer Science In ML 2005, Vol. 148, No. 2. (24 March 2006), pp. 105-126. by Norman Ramsey, João Dias posted to zipper optimization ml incremental control-flow-graph compilers by spl on 2008-01-24 15:37:07 as along with 3 people and 1 group dankamongmen robertjohnsimmons pedagand ConcertRG
	Adaptive functional programming [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 6. (November 2006), pp. 990-1034. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to ml incremental functional-programming algorithms adaptive by spl on 2008-01-24 15:08:56 as
	Finite Domains and Exclusions as First-Class Citizens [My Copy] Extensions of Logic Programming (1994), pp. 37-61. by Harold Boley posted to unification relfun relational logic-programming generalization exclusions anti-unification by spl on 2009-11-19 15:16:24 as
	PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations [My Copy] Vol. DFKI-TM-94-04 (12 May 1994) by Cornelia Fischer posted to generalization anti-unification algorithms by spl on 2009-11-19 14:38:57 as
	Matters Computational [My Copy] (2 November 2009) by Jörg Arndt posted to cpp c book algorithms by spl on 2009-11-19 09:29:53 as
	Higher Order Functions Considered Unnecessary for Higher Order Programming [My Copy] Research Topics in Functional Programming (1990), pp. 309-351. by Joseph A. Goguen edited by David A. Turner posted to parametrized-modules obj modules higher-order-functions functional-programming defunctionalization by spl on 2009-11-15 09:46:07 as
	Unification and Anti-Unification in the Calculus of Constructions [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In LICS 1991 (06 August 2002), pp. 74-85. by Frank Pfenning posted to unification generalization calculus-of-constructions anti-unification algorithms by spl on 2009-11-12 13:40:57 as along with 1 person robertjohnsimmons
	A Further Note on Inductive Generalization [My Copy] Machine Intelligence, Vol. 6 (1971), pp. 101-124. by Gordon D. Plotkin edited by Bernard Meltzer, Donald Michie posted to least-specific-generalization induction generalization algorithms by spl on 2009-11-12 13:29:49 as
	A Note on Inductive Generalization [My Copy] Machine Intelligence, Vol. 5 (1970), pp. 153-163. by Gordon D. Plotkin edited by Bernard Meltzer, Donald Michie posted to least-specific-generalization induction generalization algorithms by spl on 2009-11-12 13:09:25 as along with 1 person julian
	Correctly Rounded Binary-Decimal and Decimal-Binary Conversions [My Copy] No. Numerical Analysis Manuscript 90-10. (30 November 1990) by David M. Gray posted to rounding numbers floating-point accuracy by spl on 2009-11-09 11:11:37 as
	How to Read Floating Point Numbers Accurately [My Copy] In PLDI 1990 (1990), pp. 92-101. by William D. Clinger posted to reading numbers floating-point accuracy by spl on 2009-11-09 10:51:59 as
	Printing floating-point numbers quickly and accurately [My Copy] In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (1996), pp. 108-116. by Robert G. Burger, R. Kent Dybvig posted to numbers formatting floating-point accuracy by spl on 2009-11-08 22:20:05 as
	Computing downwards accumulations on trees quickly [My Copy] Theoretical Computer Science, Vol. 169, No. 1. (30 November 1996), pp. 67-80. by Jeremy Gibbons posted to trees performance homomorphism accumulations by spl on 2009-11-05 14:57:41 as
	Lazy Functional State Threads [My Copy] In PLDI 1994, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to rank-2-polymorphism parametric-polymorphism non-strict-evaluation mutability monads haskell concurrency by spl on 2009-11-03 17:28:53 as along with 8 people and 2 groups ama08r fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Adaptive functional programming [My Copy] In POPL 2002 (2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to submit-incremental ml incremental functional-programming algorithms adaptive by spl on 2009-11-03 16:47:43 as

Note: You may cite this page as: http://www.citeulike.org/user/spl/order/to_read

Result page: 1 2 3 4 5 6 7 Next

haskell	104
generics	55
functional-programming	38
datatype-generic	35
algorithms	28
submit-gdiff	28
trees	25
category-theory	23
submit-incremental	20
semantics	19
thesis	19
incremental	18
memoization	17
type-classes	16
edit-operations	15
attribute-grammars	14
diff	14
monads	14
pattern-matching	14
zipper	14
compilers	13
ml	12
catamorphism	11
combinators	11
dependent-types	11
lambda-calculus	11
program-calculation	11
book	10
distributed-computing	10
lazy-evaluation	10
non-strict-evaluation	10
recursion	10
data-structures	9
domain-specific-languages	9
fold	9
parallel-programming	9
program-transformation	9
type-indexed	9
generic-haskell	8
java	8
models	8
parsers	8
programming-language	8
type-inference	8
concurrency	7
editors	7
education	7
extensibility	7
functors	7
fusion	7
interpreters	7
libraries	7
parametric-polymorphism	7
performance	7
type-theory	7
unfold	7
version-control	7
algebra	6
databases	6
fixed-point	6
gadts	6
introduction	6
lightweight	6
longest-common-subsequence	6
optimization	6
ordered	6
streams	6
syb	6
traversals	6
type-checking	6
views	6
abstraction	5
anamorphism	5
comonads	5
comparison	5
expression-problem	5
generalization	5
ghc	5
grammars	5
higher-order-functions	5
homomorphism	5
implementation	5
input-output	5
lists	5
object-oriented-programming	5
program-behavior	5
software-engineering	5
survey	5
syntax-directed	5
web	5
c	4
call-by-name	4
change-detection	4
continuations	4
dataflow	4
design-patterns	4
dynamic-programming	4
formalization	4
frameworks	4
functional-dependencies	4
garbage-collection	4
graph-reduction	4
history	4
hol	4
hylomorphism	4
imperative-programming	4
induction	4
list-comprehensions	4
mixins	4
modularity	4
numbers	4
paramorphism	4
phantom-types	4
polyp	4
programming-environment	4
records	4
rewriting	4
tree-inclusion	4
tries	4
type-families	4
type-safety	4
unification	4
xml	4
abstract-datatypes	3
accuracy	3
adaptive	3
advice	3
agda	3
anti-unification	3
associated-types	3
bifunctors	3
call-by-need	3
call-by-value	3
codata	3
computer-science	3
cpp	3
deforestation	3
denotational-semantics	3
derivatives	3
emgm	3
epigram	3
equivalence	3
erlang	3
existential-quantification	3
file-comparison	3
floating-point	3
formatting	3
fp	3
hierarchical-structure	3
holumbus	3
hope	3
intermediate-language	3
mapreduce	3
metamodels	3
metaprogramming	3
miranda	3
model-driven-development	3
model-driven-engineering	3
monoids	3
ocaml	3
operational-semantics	3
phd	3
printf	3
proofs	3
rank-2-polymorphism	3
relational	3
set-theory	3
sorting	3
strict-evaluation	3
system-f	3
total-functions	3
verification	3
accumulations	2
advising	2
algol	2
antidiagonal	2
arrays	2
arrows	2
aspect-oriented-programming	2
boilerplate	2
categorical-logic	2
church	2
classicjava	2
clean	2
coalgebra	2
comprehensions	2
constraint-programming	2
crush	2
curry-howard-isomorphism	2
cyclic	2
data-mining	2
debuggers	2
deductive-databases	2
deriving	2
dynamically-typed	2
exponentials	2
finite-maps	2
free-theorems	2
functional-database-language	2
generators	2
global-variables	2
goffin	2
graph	2
hardware-description	2
haskelldb	2
histomorphism	2
implicit-parameters	2
isabelle	2
least-specific-generalization	2
lecture-notes	2
lenses	2
logic	2
mutual-recursion	2
natural-language	2
nested-datatypes	2
operating-systems	2
parametricity	2
pfl	2
physics	2
ports	2
program-slicing	2
rank-n-polymorphism	2
reflection	2
repmin	2
scheme	2
scripting	2
search-engine	2
sequence	2
sharing	2
software-build	2
software-product-lines	2
spine-view	2
sql	2
static-checking	2
strings	2
subtyping	2
template-haskell	2
theorem-proving	2
topology	2
transactional-memory	2
transpose	2
tutorial	2
universes	2
unordered	2
unparsers	2
von-neumann	2
zip	2
ad-hoc-polymorphism	1
alfa	1
apomorphism	1
applicative-functors	1
automata	1
backtracking	1
beta	1
bibliography	1
calculus-of-constructions	1
camera	1
circularity	1
clu	1
coinduction	1
coinductive-types	1
compression	1
computability	1
computational-design	1
computational-thinking	1
computer-architecture	1
containers	1
contracts	1
control-flow-graph	1
corecursion	1
cps	1
cryptol	1
csharp	1
data-description-language	1
de-bruijn-index	1
defunctionalization	1
dictionaries	1
difunctors	1
discrimination	1
dynamic-scoping	1
effect-types	1
eiffel	1
embedded-systems	1
equality	1
equational-reasoning	1
event-driven	1
exceptions	1
exclusions	1
fault-tolerance	1
feature-oriented-programming	1
ffi	1
free-variables	1
functional-reactive	1
function-spaces	1
futumorphism	1
galois-connections	1
godel	1
gofer	1
halting-problem	1
hash-consing	1
idl	1
impredicativity	1
inductive-type-families	1
inductive-types	1
inheritance	1
inlining	1
inversion	1
isar	1
javascript	1
jni	1
json	1
krc	1
latex	1
lattice-theory	1
ligd	1
lisp	1
logic-programming	1
machine-learning	1
management	1
manual	1
martin-lof	1
measurement	1
model-driven-architecture	1
modula	1
modules	1
multithreading	1
mutability	1
mutumorphism	1
natural-deduction	1
natural-numbers	1
normalization	1
np-complete	1
nuprl	1
obj	1
open	1
packrat-parsing	1
parametrized-modules	1
partial-functions	1
persistence	1
poetry	1
pragmatics	1
predicate-dispatch	1
prefix-sums	1
prepromorphism	1
pretty-printing	1
principal-type	1
reading	1
register-allocation	1
relfun	1
research	1
rfc	1
rounding	1
sawzall	1
security	1
semantic-web	1
sequent-calculus	1
serialization	1
session-types	1
shell	1
software-factories	1
standard	1
static-analysis	1
stl	1
strictly-positive	1
strictness-analysis	1
stupidity	1
system-t	1
taxonomy	1
testing	1
turing	1
type-functions	1
unboxed-values	1
undecidability	1
uuag	1
value-recursion	1
visitor-pattern	1
wobbly-types	1
worker-wrapper	1
zygomorphism	1

spl's library 332 articles Export

spl's tags