Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

voigt's Engelfriet:J [3 articles] Export

Recent papers posted to voigt's library by the author Engelfriet:J. You can also see everyone's Engelfriet:J.

	Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations [My Copy] Information and Computation, Vol. 154, No. 1. (10 October 1999), pp. 34-91. by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars mso-logic tree-transducers by voigt on 2005-09-30 13:54:37 as
	The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable [My Copy] (6 Jun 2005) by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars decidability mso-logic tree-transducers xml by voigt on 2005-09-13 14:18:41 as
	Decidability of the Finiteness of Ranges of Tree Transductions, [My Copy] Information and Computation, Vol. 145, No. 1. (25 August 1998), pp. 1-50. by Frank Drewes, Joost Engelfriet posted to tree-transducers by voigt on 2005-09-12 12:56:05 as

Note: You may cite this page as: http://www.citeulike.org/user/voigt/author/Engelfriet:J

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
program-transformation	23
lambda-calculus	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
type-classes	15
optimization	15
tree-transducers	14
seq	13
xml	13
laziness	13
generic-programming	11
accumulating-parameters	11
operational-semantics	11
strict-evaluation	11
deforestation	11
selective-strictness	10
rank-2	10
call-by-name	10
category-theory	8
shortcut-deforestation	8
verification	8
call-by-value	8
ml	8
call-by-need	7
applications	7
continuations	6
pcf	6
attribute-grammars	6
dsl	5
compilers	5
circular-programs	5
operating-systems	5
multiple-traversals	4
subtyping	4
tupling	4
theorem-provers	4
induction-proofs	4
functional-dependencies	4
embedded-systems	3
arrows	3
automata	3
dependent-types	3
objects	3
scheme	3
static-analysis	2
linear-logic	2
parallel-programming	2
logic-programming	2
nominal-abstract-syntax	2
clean	2
mso-logic	2
programatica	2
sequentiality	2
quantum-computation	1
optimal-reduction	1
databases	1
real-time	1
imprecise-errors	1
bidirectionality	1
view-update	1
concurrency	1
decidability	1
streams	1
imperative-programming	1
complexity-analysis	1
nondeterminism	1
exceptions	1
errors	1
uniqueness	1

voigt's Engelfriet:J [3 articles] Export

voigt's tags