spl's library 323 articles Export

	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 7 people and 2 groups fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Associated type synonyms [My Copy] In ICFP 2005 (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones posted to type-families type-classes haskell functional-dependencies associated-types by spl on 2009-11-03 17:22:40 as along with 6 people and 1 group conal greenrd yallop kinaba voigt americovargas SRG_at_UCD
	Template Meta-programming for Haskell [My Copy] In Haskell 2002 (2002), pp. 1-16. by Tim Sheard, Simon L. Peyton Jones posted to template-haskell submit-incremental submit-gdiff metaprogramming haskell by spl on 2009-11-03 17:05:46 as along with 8 people and 1 group samth twleung dherman JacquesC ryanc bringert wtribbey jimburton NU-PRL
	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
	Lazy Functional Incremental Parsing [My Copy] In Haskell 2009 (2009), pp. 49-60. by Jean-Philippe Bernardy posted to zipper submit-incremental parsers lazy-evaluation incremental editors by spl on 2009-10-31 13:46:12 as along with 1 person robertjohnsimmons
	Programming Languages: Application and Interpretation [My Copy] (26 April 2007) by Shriram Krishnamurthi posted to scheme programming-language interpreters functional-programming book by spl on 2009-10-09 14:05:58 as
	A novel representation of lists and its application to the function “reverse” [My Copy] Information Processing Letters, Vol. 22, No. 3. (03 March 1986), pp. 141-144. by Hughes posted to lists krc functional-programming data-structures by spl on 2009-10-07 10:53:58 as
	Category Theory Lecture Notes for ESSLLI [My Copy] (1999) by Michael Barr, Charles Wells posted to lecture-notes introduction category-theory by spl on 2009-10-05 15:22:47 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
	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
	Experience Report: seL4: Formally Verifying a High-Performance Microkernel [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96. by Gerwin Klein, Philip Derrin, Kevin Elphinstone posted to verification proofs operating-systems isabelle hol haskell c by spl on 2009-09-07 11:21:10 as along with 1 person pedagand
	Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell [My Copy] In ICFP 2009 (2009), pp. 245-256. by Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra posted to submit-incremental haskell combinators attribute-grammars aspect-oriented-programming by spl on 2009-09-07 11:15:04 as along with 1 person pedagand
	Generic Programming with Fixed Points for Mutually Recursive Datatypes [My Copy] In ICFP 2009 (2009), pp. 233-244. by Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring posted to zipper submit-incremental submit-gdiff recursion mutual-recursion libraries generics fixed-point datatype-generic by spl on 2009-09-07 11:04:23 as
	Upwards and downwards accumulations on trees [My Copy] Mathematics of Program Construction In MPC 1993 (1993), pp. 122-138. by Jeremy Gibbons posted to trees submit-incremental program-calculation prefix-sums catamorphism accumulations by spl on 2009-08-19 12:21:06 as along with 1 person mwbuksas
	Theoretical Foundations for Practical 'Totally Functional Programming' [My Copy] (November 2007) by Colin John Morris Kemp posted to type-theory thesis interpreters homomorphism functional-programming fold derivatives church catamorphism by spl on 2009-08-18 12:51:28 as
	Type Inference and Optimisation for an Impure World [My Copy] (June 2009) by Ben Lippmeier posted to type-inference thesis optimization lazy-evaluation effect-types call-by-value call-by-need by spl on 2009-08-12 13:42:23 as
	Type-Indexed Rows [My Copy] In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 261-275. by Mark Shields, Erik Meijer posted to equality lambda-calculus records type-checking type-indexed xml by spl on 2009-08-10 14:40:09 as
	Type Extension Through Polymorphism [My Copy] ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 135-138. by F. Warren Burton posted to extensibility parametric-polymorphism records subtyping by spl on 2009-08-09 14:24:41 as along with 1 person pedagand
	Why Attribute Grammars Matter [My Copy] The Monad.Reader, Vol. 4 (5 July 2005) by Wouter Swierstra edited by Shae Erisson posted to uuag submit-incremental lazy-evaluation haskell functional-programming attribute-grammars by spl on 2009-08-08 14:38:11 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
	Functional Pearl: A program to solve Sudoku [My Copy] Journal of Functional Programming, Vol. 16, No. 06. (2006), pp. 671-679. by Richard Bird posted to haskell program-calculation by spl on 2009-08-04 11:27:38 as
	Fixed Point Calculus [My Copy] In Presented at the Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (April 2000) by Roland Backhouse posted to algebra fixed-point fusion hylomorphism imperative-programming induction program-calculation recursion by spl on 2009-07-25 18:46:00 as
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150. by Roland Backhouse posted to algebra category-theory fixed-point fusion galois-connections program-calculation recursion by spl on 2009-07-25 18:36:28 as along with 6 people jirak michaelbanks neelk neelkrishnaswami leonardo Scis0000002
	Software Engineering: An Idea Whose Time Has Come and Gone? [My Copy] IEEE Software In Software, IEEE, Vol. 26, No. 4. (2009), pp. 96-96. by Tom Demarco posted to management measurement software-engineering by spl on 2009-07-23 16:11:35 as along with 3 people ariels germoglio gvdh
	Using Circular Programs to Eliminate Multiple Traversals of Data [My Copy] Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250. by R. S. Bird posted to traversals submit-incremental repmin recursion lazy-evaluation functional-programming circularity by spl on 2009-07-23 09:04:46 as along with 1 person tautologico
	Functional Pearls: Efficient sets -- a balancing act [My Copy] J. of Functional Programming, Vol. 3, No. 04. (1993), pp. 553-561. by Stephen Adams posted to trees submit-incremental set-theory ml functional-programming data-structures by spl on 2009-07-22 14:02:37 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
	Security Engineering: A Guide to Building Dependable Distributed Systems [My Copy] (14 April 2008) by Ross J. Anderson posted to book distributed-computing security software-engineering by spl on 2009-07-20 10:03:52 as along with 2 people bfraser brothers
	The impact of software engineering research on modern progamming languages [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 4. (October 2005), pp. 431-477. by Barbara G. Ryder, Mary L. Soffa, Margaret Burnett posted to history programming-language software-engineering by spl on 2009-06-26 16:58:56 as along with 2 people kistijantoro RalfMitschke
	Incremental algorithms on lists [My Copy] In Proc. of the SION Conference on Computer Science in the Netherlands (1991), pp. 315-335. by Johan Jeuring edited by Jan van Leeuwen posted to submit-incremental program-calculation lists incremental algorithms by spl on 2009-06-26 16:09:24 as along with 2 people hubris conal
	How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to backtracking exceptions functional-programming lazy-evaluation lists parsers pattern-matching by spl on 2009-06-22 16:42:31 as along with 2 people bulwahn michaelbanks
	A lightweight approach to datatype-generic rewriting [My Copy] In WGP 2008 (2008), pp. 13-24. by Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren posted to submit-incremental rewriting lightweight haskell generics datatype-generic by spl on 2009-06-20 11:09:17 as
	Formatting: a class act [My Copy] Journal of Functional Programming, Vol. 13, No. 05. (2003), pp. 935-944. by Ralf Hinze posted to continuations functors haskell parsers printf unparsers by spl on 2009-06-19 12:41:42 as
	Dependently Typed Programming in Agda [My Copy] In Lecture notes of the 6th International Summer School on Advanced Functional Programming (May 2008) by Ulf Norell posted to agda dependent-types submit-gdiff tutorial by spl on 2009-06-16 11:03:03 as along with 2 people pedagand eelco
	The Essence of Dataflow Programming [My Copy] Central European Functional Programming School (2006), pp. 135-167. by Tarmo Uustalu, Varmo Vene posted to arrows comonads dataflow semantics streams by spl on 2009-05-19 09:13:18 as along with 4 people pedagand Scis0000002 christiankissig hannibal_08
	A Tutorial on (Co)Algebras and (Co)Induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 222-259. by Bart Jacobs, Jan Rutten posted to algebra coalgebra coinduction induction tutorial by spl on 2009-05-15 12:18:47 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Nikon Digital Camera D60 User's Manual [My Copy] posted to camera manual by spl on 2009-05-15 09:44:47 as
	Type-indexed data types [My Copy] MPC 2002 (2002), pp. 77-91. by Ralf Hinze, Johan Jeuring, Andres Löh posted to zipper type-indexed generics generic-haskell datatype-generic by spl on 2009-05-09 20:15:03 as
	Tries and their Derivatives [My Copy] (8 September 2007) by Dan Piponi posted to tries submit-gdiff memoization generics exponentials derivatives datatype-generic antidiagonal by spl on 2009-05-08 15:22:11 as
	The Antidiagonal [My Copy] (2 September 2007) by Dan Piponi posted to antidiagonal datatype-generic diff generics submit-gdiff by spl on 2009-05-08 15:20:31 as
	The worker/wrapper transformation [My Copy] Journal of Functional Programming, Vol. 19, No. 02. (2009), pp. 227-251. by Andy Gill, Graham Hutton posted to haskell performance program-transformation worker-wrapper by spl on 2009-05-08 00:29:56 as along with 2 people thegoose shivak
	The application/json Media Type for JavaScript Object Notation (JSON) [My Copy] (July 2006) by Douglas Crockford posted to javascript json rfc standard submit-gdiff by spl on 2009-05-07 09:48:45 as
	The tree-to-tree editing problem [My Copy] Information Processing Letters, Vol. 6, No. 6. (December 1977), pp. 184-186. by S. Selkow posted to trees algorithms edit-operations submit-gdiff by spl on 2009-05-06 12:31:40 as along with 1 person johnzabroski
	Static Typing for a Faulty Lambda Calculus [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 38-49. by David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August posted to fault-tolerance lambda-calculus static-checking type-checking type-safety by spl on 2009-05-06 11:18:00 as
	Haskell 98 Language and Libraries: The Revised Report [My Copy] Journal of Functional Programming, Vol. 1 (January 2003) edited by Simon L. Peyton Jones posted to haskell libraries by spl on 2009-05-05 13:56:08 as
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted to dependent-types epigram pattern-matching type-theory views by spl on 2009-05-05 10:10:40 as along with 7 people and 3 groups robertjohnsimmons pedagand jimburton byorgey dalev greenrd dmitri83 ConcertRG NU-PRL SRG_at_UCD
	The Power of Pi [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 39-50. by Nicolas Oury, Wouter Swierstra posted to agda cryptol data-description-language dependent-types domain-specific-languages relational submit-gdiff by spl on 2009-05-05 09:57:49 as
	On the editing distance between undirected acyclic graphs and related problems [My Copy] Combinatorial Pattern Matching (1995), pp. 395-407. by Kaizhong Zhang, Jason Wang, Dennis Shasha posted to trees dynamic-programming edit-operations graph np-complete pattern-matching by spl on 2009-05-04 10:31:52 as along with 1 person wiedenhoeft
	The Tree-to-Tree Correction Problem [My Copy] J. ACM, Vol. 26, No. 3. (1979), pp. 422-433. by Kuo C. Tai posted to trees edit-operations by spl on 2009-05-04 09:42:28 as

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

Result page: 1 2 3 4 5 6 7 Next

haskell	105
generics	56
functional-programming	37
datatype-generic	35
submit-gdiff	28
trees	25
algorithms	24
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
distributed-computing	10
lazy-evaluation	10
non-strict-evaluation	10
recursion	10
book	9
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
gadts	7
interpreters	7
libraries	7
ordered	7
parametric-polymorphism	7
performance	7
type-theory	7
unfold	7
version-control	7
algebra	6
comparison	6
databases	6
fixed-point	6
introduction	6
lightweight	6
longest-common-subsequence	6
optimization	6
streams	6
syb	6
traversals	6
type-checking	6
views	6
abstraction	5
anamorphism	5
comonads	5
expression-problem	5
ghc	5
grammars	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
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
higher-order-functions	4
history	4
hol	4
hylomorphism	4
imperative-programming	4
list-comprehensions	4
mixins	4
modularity	4
paramorphism	4
phantom-types	4
polyp	4
programming-environment	4
records	4
rewriting	4
sorting	4
tree-inclusion	4
tries	4
type-families	4
type-safety	4
xml	4
abstract-datatypes	3
adaptive	3
advice	3
agda	3
associated-types	3
bifunctors	3
c	3
call-by-need	3
call-by-value	3
codata	3
computer-science	3
deforestation	3
denotational-semantics	3
derivatives	3
emgm	3
epigram	3
equivalence	3
erlang	3
existential-quantification	3
file-comparison	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
set-theory	3
sharing	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
cpp	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
induction	2
isabelle	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
relational	2
repmin	2
scheme	2
scripting	2
search-engine	2
sequence	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
unification	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
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
dictionaries	1
difunctors	1
dynamic-scoping	1
effect-types	1
eiffel	1
embedded-systems	1
equality	1
equational-reasoning	1
event-driven	1
exceptions	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
machine-learning	1
management	1
manual	1
martin-lof	1
measurement	1
model-driven-architecture	1
modula	1
multithreading	1
mutability	1
mutumorphism	1
natural-deduction	1
natural-numbers	1
normalization	1
np-complete	1
numbers	1
nuprl	1
open	1
packrat-parsing	1
partial-functions	1
partioning	1
persistence	1
poetry	1
pragmatics	1
predicate-dispatch	1
prefix-sums	1
prepromorphism	1
pretty-printing	1
register-allocation	1
research	1
rfc	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 323 articles Export

spl's tags