CiteULike: spl's program-calculation [11 articles]

	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
	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
	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
	Algebraic Data Types and Program Transformation [My Copy] (1990) by Grant Malcolm posted to program-calculation thesis by spl on 2009-04-02 22:10:49 as along with 1 person jff
	Paramorphisms [My Copy] Formal Aspects of Computing, Vol. 4, No. 5. (1 September 1992), pp. 413-424. by Lambert Meertens posted to catamorphism homomorphism paramorphism program-calculation by spl on 2009-04-02 20:52:18 as
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to anamorphism bifunctors catamorphism fold functors hylomorphism lazy-evaluation paramorphism program-calculation unfold by spl on 2008-08-18 18:44:21 as along with 12 people and 3 groups ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 aleks rgb bringert wtribbey SRG_at_UCD Compilers pileWorks
	The Under-Appreciated Unfold [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 273-279. by Jeremy Gibbons, Geraint Jones posted to anamorphism fold program-calculation traversals unfold by spl on 2008-08-18 11:09:15 as along with 2 people pedagand calvins
	Data structures and program transformation [My Copy] Science of Computer Programming, Vol. 14, No. 2-3. (October 1990), pp. 255-279. by Grant Malcolm posted to data-structures homomorphism program-calculation program-transformation by spl on 2008-08-08 16:30:52 as along with 2 people msakai scis0000001
	Law and Order in Algorithmics [My Copy] (February 1992) by Maarten M. Fokkinga posted to algebra anamorphism catamorphism category-theory fixed-point homomorphism hylomorphism mutumorphism prepromorphism program-calculation thesis by spl on 2008-06-06 14:07:50 as along with 1 person draganigajic

spl's program-calculation [11 articles] Export

spl's tags

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