voigt's library 130 articles Export

	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
	Datatypes and Subtyping [My Copy] (1998) by Haruo Hosoya, Benjamin C. Pierce, David N. Turner posted to subtyping types by voigt on 2006-10-09 09:21:44 as along with 1 person tautologico
	The semantics of future and its use in program optimization [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220. by Cormac Flanagan, Matthias Felleisen posted to compilers functional-programming operational-semantics optimization parallel-programming by voigt on 2006-10-06 12:10:34 as along with 5 people and 3 groups mattmight robertjohnsimmons samth A_Olympia dsilva NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to imperative-programming linear-logic types by voigt on 2006-10-06 12:05:32 as along with 4 people and 1 group tov pedagand dherman bec NU-PRL
	Fun with functional dependencies [My Copy] (2001) by T. Hallgren posted to functional-dependencies functional-programming haskell logic-programming type-classes types by voigt on 2006-10-06 12:03:23 as along with 3 people yallop spl jimburton
	Automatic management of operating-system resources [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 274-279. by Olin Shivers posted to applications functional-programming operating-systems by voigt on 2006-10-06 11:55:03 as along with 1 person alec
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as along with 6 people and 1 group blog01 JacquesC jyasskin msakai dmitri83 spl NU-PRL
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to call-by-name call-by-value category-theory denotational-semantics functional-programming haskell laziness lazy-evaluation logical-relations ml selective-strictness seq strict-evaluation types by voigt on 2006-03-21 11:28:11 as along with 7 people and 2 groups ama08r spl pedagand p1738j aleks Benja paper_jac ConcertRG Compilers
	Adventures in time and space [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 168-179. by Norman Danner, James S. Royer posted to call-by-value complexity-analysis denotational-semantics functional-programming lambda-calculus operational-semantics pcf types by voigt on 2006-03-21 11:26:19 as
	Polymorphic regular tree types and patterns [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 103-114. by J&\#233;r&\#244;me Vouillon posted to automata polymorphism types xml by voigt on 2006-03-21 11:23:14 as
	Foundations for Programming Languages (Foundations of Computing) [My Copy] (01 September 1996) by John C. Mitchell posted to functional-programming lambda-calculus types by voigt on 2006-03-09 14:09:54 as along with 3 people robotact kontakte Malcohol
	Denotational semantics: The Scott-Strachey approach to programming language theory [My Copy] by Joseph Stoy posted to denotational-semantics functional-programming lambda-calculus side-effects by voigt on 2006-03-09 14:07:27 as along with 1 person mstone
	Structuring quantum effects: superoperators as arrows [My Copy] (25 Jan 2005) by J. K. Vizzotto, T. Altenkirch, A. Sabry posted to arrows functional-programming haskell quantum-computation side-effects types by voigt on 2005-12-09 09:19:04 as along with 3 people jrw jwm0123 MarkEveritt
	A core calculus of dependency [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 147-160. by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted to functional-programming monads types by voigt on 2005-11-30 07:59:13 as along with 2 people keigoi bfraser
	Why no one uses functional languages [My Copy] SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27. by Philip Wadler posted to functional-programming by voigt on 2005-11-21 13:28:04 as along with 10 people and 6 groups samth twleung dherman jacob hamish greenrd yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
	Logical Relations for Monadic Types [My Copy] In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 553-568. by Jean Goubault-Larrecq, Slawomir Lasota, David Nowak posted to functional-programming logical-relations monads types by voigt on 2005-11-17 13:28:10 as
	Monads and Effects [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 42-122. by Nick Benton, John Hughes, Eugenio Moggi posted to haskell monads functional-programming side-effects types by voigt on 2005-11-10 10:05:20 as
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 97-136. by Mark P. Jones posted to functional-programming haskell polymorphism type-classes types by voigt on 2005-11-10 09:14:52 as along with 1 person bringert
	The Reasoned Schemer [My Copy] (01 July 2005) by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov posted to scheme functional-programming logic-programming by voigt on 2005-11-09 13:27:12 as along with 2 people ryanc jasmithoffice
	Notions of Computation Determine Monads [My Copy] In FoSSaCS '02: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to functional-programming monads by voigt on 2005-11-03 10:07:37 as
	Operational reasoning for functions with local state [My Copy] (1998), pp. 227-274. by A. M. Pitts, I. D. B. Stark posted to functional-programming operational-semantics types by voigt on 2005-11-02 14:10:34 as
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted to continuations functional-programming ml monads scheme side-effects types by voigt on 2005-11-02 06:25:37 as along with 2 people and 2 groups samth JeffreyPalmer ConcertRG NU-PRL
	Highlights of the history of the lambda-calculus [My Copy] In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225. by Barkley J. Rosser posted to functional-programming lambda-calculus by voigt on 2005-11-01 10:01:22 as along with 9 people and 1 group hamish jrw rahul damaru pintman wadler ben_moseley bunge ds SRL
	Taming effects with monadic typing [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 51-62. by Richard B. Kieburtz posted to call-by-value functional-programming ml side-effects strict-evaluation types by voigt on 2005-10-28 14:12:38 as along with 1 person Scis0000002
	Correctness of monadic state: an imperative call-by-need calculus [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 62-74. by Zena M. Ariola, Amr Sabry posted to call-by-name call-by-need functional-programming laziness lazy-evaluation monads side-effects types by voigt on 2005-10-28 14:10:26 as
	A comparative study of language support for generic programming [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134. by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to generic-programming haskell types by voigt on 2005-10-25 12:52:21 as along with 2 people and 1 group spl dherman NU-PRL
	On a monadic semantics for freshness [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (6 September 2005), pp. 28-55. by Mark R. Shinwell, Andrew M. Pitts posted to functional-programming monads nominal-abstract-syntax by voigt on 2005-10-25 12:51:03 as along with 1 person and 1 group dherman NU-PRL
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to dependent-types functional-programming ml types by voigt on 2005-10-17 09:41:02 as along with 11 people and 1 group ama08r shimomura msakai rgrig yallop tautologico japple kavabean geishagirls rysavy jimburton SRG_at_UCD
	Automata theory for XML researchers [My Copy] SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46. by Frank Neven posted to automata xml by voigt on 2005-10-13 08:22:50 as along with 3 people and 5 groups andytseng kinaba seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Processing XML streams with deterministic automata and stream indexes [My Copy] ACM Trans. Database Syst., Vol. 29, No. 4. (December 2004), pp. 752-788. by Todd J. Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, Dan Suciu posted to automata streams xml by voigt on 2005-10-13 08:19:31 as along with 4 people and 5 groups taroleo tatemura seabay ccipres Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	A formal model for an expressive fragment of XSLT [My Copy] Inf. Syst., Vol. 27, No. 1. (March 2002), pp. 21-39. by Geert J. Bex, Sebastian Maneth, Frank Neven posted to tree-transducers xml by voigt on 2005-10-12 06:16:32 as along with 2 people and 5 groups mattbiehl seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	The logic of demand in Haskell [My Copy] Journal of Functional Programming, Vol. 15, No. 6. (November 2005), pp. 837-891. by William L. Harrison, Richard B. Kieburtz posted to denotational-semantics functional-programming haskell laziness lazy-evaluation programatica selective-strictness seq verification by voigt on 2005-10-11 06:20:16 as along with 1 person and 1 group greenrd SRG_at_UCD
	The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data [My Copy] (05 November 2003) by Peter M. D. Gray edited by Peter M. D. Gray, Larry Kerschberg, Peter J. H. King, Alexandra Poulovassilis posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as along with 1 person and 1 group mahler Rightscom
	A Semi-Monad for Semi-structured Data [My Copy] In 8th International Conference on Database Theory, Proceedings, Vol. 1973 (2001), 263. by Mary Fernandez, Jerome Simeon, Philip Wadler posted to monads types xml by voigt on 2005-10-07 11:43:29 as
	TypeCase: a design pattern for type-indexed functions [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 98-109. by Bruno C. Oliveira, Jeremy Gibbons posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-10-06 08:37:09 as along with 2 people and 1 group yallop spl ConcertRG
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted to arrows functional-programming generic-programming haskell monads by voigt on 2005-10-06 08:34:34 as along with 4 people and 2 groups greenrd tautologico mahler mstone Rightscom SRG_at_UCD
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to dependent-types functional-programming haskell strict-evaluation types by voigt on 2005-10-06 08:32:41 as along with 13 people and 3 groups Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as along with 6 people and 1 group shimomura jimburton greenrd p1738j msakai meiersi SRG_at_UCD
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon Peyton-Jones posted to compilers functional-programming haskell monads by voigt on 2005-10-06 08:28:15 as along with 9 people masteraka hamish jrw tautologico msakai neilc benchambers kazuya brecknell

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

Result page: 1 2 3 Next

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 library 130 articles Export

voigt's tags