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 Kühnemann:A [4 articles] Export

Recent papers posted to voigt's library by the author Kühnemann:A. You can also see everyone's Kühnemann:A.

	Deaccumulation techniques for improving provability [My Copy] Journal of Logic and Algebraic Programming, Vol. 71, No. 2. (April 2007), pp. 79-113. by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer posted to accumulating-parameters functional-programming induction-proofs program-transformation theorem-provers tree-transducers verification by voigt on 2007-06-25 11:31:13 as
	Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers [My Copy] In Proceedings of Functional and Logic Programming (FLOPS '99), Vol. 1722 (November 1999), pp. 114-130. by A. Kühnemann edited by A. Middeldorp, T. Sato posted to accumulating-parameters call-by-name call-by-need deforestation functional-programming optimization program-transformation tree-transducers by voigt on 2005-09-16 13:13:51 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
	Deaccumulation - Improving Provability [My Copy] Lecture Notes in Computer Science In Eighth Asian Computing Science Conference (ASIAN '03), Vol. 2896 (December 2003), pp. 146-160. by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer edited by Vijay A. Saraswat posted to accumulating-parameters functional-programming induction-proofs program-transformation theorem-provers tree-transducers verification by voigt on 2005-09-09 09:49:25 as

Note: You may cite this page as: http://www.citeulike.org/user/voigt/author/Kühnemann:A

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 Kühnemann:A [4 articles] Export

voigt's tags