voigt's Voigtländer:J [19 articles] Export

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

	A family of syntactic logical relations for the semantics of Haskell-like languages [My Copy] Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368. by Patricia Johann, Janis Voigtländer posted to call-by-name deforestation errors free-theorems functional-programming haskell lambda-calculus lazy-evaluation logical-relations operational-semantics parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2009-07-19 07:38:42 as along with 1 person msakai
	Parametricity for Haskell with Imprecise Error Semantics [My Copy] Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308. by Florian Stenger, Janis Voigtländer edited by Pierre-Louis Curien posted to denotational-semantics exceptions free-theorems functional-programming haskell imprecise-errors lambda-calculus lazy-evaluation logical-relations nondeterminism parametricity polymorphism selective-strictness seq types by voigt on 2009-07-19 07:22:37 as along with 1 person msakai
	Bidirectionalization for Free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176. by Janis Voigtländer edited by Benjamin C. Pierce posted to applications bidirectionality databases free-theorems functional-programming generic-programming haskell parametricity polymorphism program-transformation type-classes view-update by voigt on 2009-07-19 07:07:52 as along with 2 people pedagand msakai
	Asymptotic Improvement of Computations over Free Monads [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403. by Janis Voigtländer edited by Christine Paulin-Mohring, Philippe Audebaud posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as along with 1 person Benja
	Semantics and Pragmatics of New Shortcut Fusion Rules [My Copy] Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179. by Janis Voigtländer edited by Jacques Garrigue, Manuel Hermenegildo posted to circular-programs deforestation free-theorems functional-programming haskell lazy-evaluation optimization parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-06-02 09:43:03 as along with 1 person msakai
	Much Ado about Two: A Pearl on Parallel Prefix Computation [My Copy] SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35. by Janis Voigtländer edited by Philip Wadler posted to free-theorems functional-programming haskell logical-relations parallel-programming parametricity polymorphism types by voigt on 2008-01-28 10:30:44 as along with 3 people yoriyuki keigoi msakai
	Proving Correctness via Free Theorems: The Case of the destroy/build-Rule [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20. by Janis Voigtländer edited by Robert Glück, Oege de Moor posted to deforestation denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-01-28 10:20:36 as
	Formal Efficiency Analysis for Tree Transducer Composition [My Copy] Theory of Computing Systems, Vol. 41, No. 4. (6 December 2007), pp. 619-689. by Janis Voigtländer posted to accumulating-parameters call-by-name deforestation functional-programming program-transformation tree-transducers by voigt on 2007-12-11 16:03:04 as
	Selective strictness and parametricity in structural operational semantics, inequationally [My Copy] Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318. by Janis Voigtländer, Patricia Johann posted to call-by-name free-theorems functional-programming haskell lambda-calculus laziness lazy-evaluation logical-relations operational-semantics parametricity pcf polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-12-11 15:51:34 as
	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
	The Impact of seq on Free Theorems-Based Program Transformations [My Copy] Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102. by Patricia Johann, Janis Voigtländer posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-06-25 11:10:15 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
	Using Circular Programs to Deforest in Accumulating Parameters [My Copy] Higher-Order and Symbolic Computation, Vol. 17, No. 1 - 2. (March 2004), pp. 129-163. by Janis Voigtländer posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:59:46 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
	Free theorems in the presence of seq [My Copy] SIGPLAN Notices In 31st Symposium on Principles of Programming Languages (POPL '04), Vol. 39, No. 1. (January 2004), pp. 99-110. by Patricia Johann, Janis Voigtländer edited by Neil D. Jones, Xavier Leroy posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2005-09-09 09:52:24 as
	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
	Concatenate, reverse and map vanish for free [My Copy] SIGPLAN Notices In Seventh International Conference on Functional Programming (ICFP '02), Vol. 37, No. 9. (October 2002), pp. 14-25. by Janis Voigtländer edited by Peyton, Mitchell Wand posted to accumulating-parameters denotational-semantics free-theorems functional-programming haskell logical-relations optimization parametricity polymorphism program-transformation rank-2 seq shortcut-deforestation types by voigt on 2005-09-09 09:46:55 as along with 4 people and 1 group JacquesC rwtodd pejo msakai NU-PRL
	Using circular programs to deforest in accumulating parameters [My Copy] In Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM '02) (September 2002), pp. 126-137. by Janis Voigtländer edited by Kenichi Asai, Wei-Ngan Chin posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:44:41 as
	Conditions for Efficiency Improvement by Tree Transducer Composition [My Copy] Lecture Notes in Computer Science In 13th International Conference on Rewriting Techniques and Applications (RTA '02), Vol. 2378 (July 2002), pp. 222-236. by Janis Voigtländer edited by Sophie Tison posted to accumulating-parameters call-by-need deforestation functional-programming optimization program-transformation tree-transducers by voigt on 2005-09-09 09:39:27 as

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

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 Voigtländer:J [19 articles] Export

voigt's tags