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 attribute-grammars [6 articles] Export

Recent papers added to voigt's library classified by the tag attribute-grammars. You can also see everyone's attribute-grammars.

Hide details

	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 Generating Power of Total Deterministic Tree Transducers [My Copy] Information and Computation, Vol. 147, No. 2. (15 December 1998), pp. 111-144. by Sebastian Maneth posted to attribute-grammars tree-transducers by voigt on 2005-09-30 13:52:52 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
	Attribute grammars as a functional programming paradigm [My Copy] In Proc. of a conference on Functional programming languages and computer architecture (1987), pp. 154-173. by Thomas Johnsson posted to accumulating-parameters attribute-grammars circular-programs functional-programming laziness lazy-evaluation multiple-traversals optimization program-transformation tupling by voigt on 2005-09-13 08:32:38 as
	Tree Transducer Composition as Program Transformation [My Copy] (2005) by Janis Voigtländer posted to accumulating-parameters attribute-grammars call-by-name call-by-need circular-programs deforestation functional-programming haskell induction-proofs laziness lazy-evaluation multiple-traversals operational-semantics optimization program-transformation tree-transducers tupling by voigt on 2005-09-12 07:50:09 as
	Composition of functions with accumulating parameters [My Copy] Journal of Functional Programming, Vol. 14, No. 3. (May 2004), pp. 317-363. by Janis Voigtländer, Armin Kühnemann posted to accumulating-parameters attribute-grammars deforestation functional-programming haskell optimization program-transformation tree-transducers by voigt on 2005-09-09 09:57:05 as along with 1 person pejo

Note: You may cite this page as: http://www.citeulike.org/user/voigt/tag/attribute-grammars

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

voigt's attribute-grammars [6 articles] Export

voigt's tags