spl's library 332 articles Export

	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
	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 unparsers printf parsers haskell functors formatting continuations 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

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

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