CiteULike: spl's pattern-matching [14 articles]

String Processing and Information Retrieval, 2001. SPIRE 2001. Proceedings.Eighth International Symposium on In String Processing and Information Retrieval, 2001. SPIRE 2001. Proceedings.Eighth International Symposium on (2001), pp. 212-219.

by Gabriel Valiente

posted to trees algorithms edit-operations pattern-matching by spl on 2009-04-22 11:20:27 as

along with 1 person smilemoveon

A Simple Tree Pattern-Matching Algorithm

In Proceedings of the Workshop on Algorithms and Theory of Computation (ICS '00) (December 2000)

by Hsiao-Tzu Lu, Wuu Yang

posted to trees algorithms pattern-matching by spl on 2009-04-22 10:56:57 as

Survey on Subtree Matching

Intelligent Engineering Systems, 2006. INES '06. Proceedings. International Conference on In Intelligent Engineering Systems, 2006. INES '06. Proceedings. International Conference on (June 2006), pp. 216-221.

by P. Cserkuti, T. Levendovszky, H. Charaf

posted to trees algorithms pattern-matching survey tree-inclusion by spl on 2009-04-22 10:43:28 as

along with 1 person NgeNge

Analytical and Structural Polymorphism Expressed Using Patterns Over Types

(1992)

by Karl F. Ruehr

posted to datatype-generic parametric-polymorphism pattern-matching thesis type-inference by spl on 2008-06-11 17:30:43 as

Views: A way for pattern matching to cohabit with data abstraction

In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1987), pp. 307-313.

by Philip Wadler

posted to abstraction miranda pattern-matching views by spl on 2008-06-06 09:03:55 as read

along with 7 people and 1 group pedagand fvogels jimburton samth dherman robennals dfisher NU-PRL

The Implementation of Functional Programming Languages

(01 May 1987)

by Simon L. Peyton Jones

	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
	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
	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
	Polytypic Pattern Matching [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 238-248. by Johan Jeuring posted to datatype-generic generics pattern-matching by spl on 2009-04-28 10:56:27 as
	Pattern Matching in Trees [My Copy] J. ACM, Vol. 29, No. 1. (1982), pp. 68-95. by Christoph M. Hoffmann, Michael J. O'Donnell posted to trees algorithms pattern-matching by spl on 2009-04-28 09:00:08 as
	Simple Fast Algorithms for the Editing Distance between Trees and Related Problems [My Copy] SIAM Journal on Computing, Vol. 18, No. 6. (1989), pp. 1245-1262. by Kaizhong Zhang, Dennis Shasha posted to trees algorithms dynamic-programming edit-operations ordered pattern-matching submit-gdiff by spl on 2009-04-27 15:28:50 as
	A survey on tree edit distance and related problems [My Copy] Theor. Comput. Sci., Vol. 337, No. 1-3. (2005), pp. 217-239. by Philip Bille posted to trees edit-operations ordered pattern-matching submit-gdiff survey tree-inclusion unordered by spl on 2009-04-27 13:40:18 as along with 1 person makrehchi
	Constrained Tree Inclusion [My Copy] Combinatorial Pattern Matching: 14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, June 25-27, 2003. Proceedings (2003), pp. 1017-1017. by Gabriel Valiente posted to trees algorithms ordered pattern-matching tree-inclusion unordered by spl on 2009-04-27 13:16:14 as
	An Efficient Bottom-Up Distance Between Trees [My Copy] String Processing and Information Retrieval, 2001. SPIRE 2001. Proceedings.Eighth International Symposium on In String Processing and Information Retrieval, 2001. SPIRE 2001. Proceedings.Eighth International Symposium on (2001), pp. 212-219. by Gabriel Valiente posted to trees algorithms edit-operations pattern-matching by spl on 2009-04-22 11:20:27 as along with 1 person smilemoveon
	A Simple Tree Pattern-Matching Algorithm [My Copy] In Proceedings of the Workshop on Algorithms and Theory of Computation (ICS '00) (December 2000) by Hsiao-Tzu Lu, Wuu Yang posted to trees algorithms pattern-matching by spl on 2009-04-22 10:56:57 as
	Survey on Subtree Matching [My Copy] Intelligent Engineering Systems, 2006. INES '06. Proceedings. International Conference on In Intelligent Engineering Systems, 2006. INES '06. Proceedings. International Conference on (June 2006), pp. 216-221. by P. Cserkuti, T. Levendovszky, H. Charaf posted to trees algorithms pattern-matching survey tree-inclusion by spl on 2009-04-22 10:43:28 as along with 1 person NgeNge
	Analytical and Structural Polymorphism Expressed Using Patterns Over Types [My Copy] (1992) by Karl F. Ruehr posted to datatype-generic parametric-polymorphism pattern-matching thesis type-inference by spl on 2008-06-11 17:30:43 as
	Views: A way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1987), pp. 307-313. by Philip Wadler posted to abstraction miranda pattern-matching views by spl on 2008-06-06 09:03:55 as along with 7 people and 1 group pedagand fvogels jimburton samth dherman robennals dfisher NU-PRL
	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

spl's pattern-matching [14 articles] Export

spl's tags

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