voigt's haskell [53 articles] Export

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

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Haskell server pages through dynamic loading [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 39-48. by Niklas Broberg posted to applications dsl functional-programming haskell xml by voigt on 2005-10-06 08:26:22 as
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. Chakravarty posted to applications dsl functional-programming haskell by voigt on 2005-10-06 08:24:31 as along with 7 people bfraser draganigajic hamish JeffreyPalmer byorgey jpbernardy pedagand
	Haskell ready to dazzle the real world [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26. by Martijn M. Schrage, Arjan van Ijzendoorn, Linda C. van der Gaag posted to applications functional-programming haskell by voigt on 2005-10-06 08:22:18 as along with 5 people and 1 group greenrd p1738j kowey shimomura wtribbey SRG_at_UCD
	Darcs: distributed version management in Haskell [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 1-4. by David Roundy posted to applications functional-programming haskell by voigt on 2005-10-06 08:19:13 as along with 2 people p1738j msakai
	Halfs: a haskell filesystem [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 116-116. by Isaac Jones posted to embedded-systems functional-programming haskell operating-systems by voigt on 2005-10-06 08:08:06 as
	Monadic augment and generalised short cut fusion [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305. by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as along with 2 people msakai wtribbey
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton-Jones posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-28 09:48:28 as along with 6 people and 1 group spl conal greenrd yallop kinaba americovargas SRG_at_UCD
	Scrap your boilerplate with class: extensible generic functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215. by Ralf Lämmel, Simon Peyton-Jones posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-09-28 09:43:26 as along with 8 people spl mkis hamish yallop bec kavabean lomeo americovargas
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to continuations functional-programming haskell monads by voigt on 2005-09-28 09:39:20 as along with 4 people and 2 groups greenrd mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted to functional-programming generic-programming haskell nominal-abstract-syntax by voigt on 2005-09-28 09:36:40 as along with 3 people and 1 group greenrd msakai keigoi SRG_at_UCD
	High-level views on low-level representations [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 168-179. by Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie posted to dsl functional-dependencies functional-programming haskell operating-systems type-classes types by voigt on 2005-09-28 09:31:00 as along with 2 people pedagand mmuecke
	Qualified types for MLF [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 144-155. by Daan Leijen, Andres Löh posted to functional-programming haskell polymorphism rank-2 type-classes types by voigt on 2005-09-28 09:26:34 as
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to functional-programming haskell monads operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as along with 6 people and 1 group draganigajic pejo hannes mahler mstone pedagand Rightscom
	Dynamic optimization for functional reactive programming using generalized algebraic data types [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65. by Henrik Nilsson posted to arrows dsl functional-programming haskell optimization types by voigt on 2005-09-28 08:48:42 as along with 8 people and 1 group greenrd zednenem josefs robennals conal serebryakov blue_entropy bhuber SRG_at_UCD
	Eager Haskell: resource-bounded execution yields efficient iteration [My Copy] In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 38-50. by Jan-Willem Maessen posted to compilers functional-programming haskell laziness lazy-evaluation selective-strictness seq strict-evaluation by voigt on 2005-09-26 07:54:18 as along with 2 people and 1 group greenrd MattOConnor SRG_at_UCD
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functional-programming haskell monads side-effects types by voigt on 2005-09-22 08:44:22 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	What is a purely functional language? [My Copy] Journal of Functional Programming, Vol. 8, No. 1. (January 1998), pp. 1-22. by Amr Sabry posted to call-by-name call-by-need call-by-value functional-programming haskell lambda-calculus monads side-effects by voigt on 2005-09-21 10:16:41 as
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Lämmel posted to functional-programming haskell objects polymorphism subtyping type-classes types by voigt on 2005-09-13 14:16:56 as along with 5 people and 1 group greenrd AndreasSchropp mgran mcclurmc jimburton SRG_at_UCD
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton-Jones, Simon Marlow posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-13 12:38:53 as along with 10 people and 2 groups samth greenrd zednenem bec msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to functional-programming haskell monads parametricity polymorphism side-effects types by voigt on 2005-09-13 12:22:01 as along with 4 people and 2 groups JeffreyPalmer zednenem josefs mahler ConcertRG Rightscom
	Algebra of Programming, The [My Copy] (26 September 1996) by Richard Bird, Oege de Moor posted to category-theory functional-programming haskell program-transformation types by voigt on 2005-09-13 08:28:15 as along with 3 people jimburton oryp6518 voronov
	The Semantic Layers of Timber [My Copy] Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356. by Magnus Carlsson, Johan Nordlander, Dick Kieburtz posted to concurrency embedded-systems functional-programming haskell monads objects real-time side-effects by voigt on 2005-09-13 08:26:38 as along with 1 person pejo
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon Peyton-Jones, Mark Shields, John Launchbury, Andrew Tolmach posted to call-by-need call-by-value functional-programming haskell laziness lazy-evaluation ml monads seq side-effects strict-evaluation by voigt on 2005-09-13 08:23:30 as along with 5 people and 1 group JacquesC JeffreyPalmer rwtodd spl kowey NU-PRL
	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
	Parametricity and Unboxing with Unpointed Types [My Copy] In Proceedings of the 6th European Symposium on Programming Languages and Systems (ESOP '96), Vol. 1058 (1996), pp. 204-218. by John Launchbury, Ross Paterson edited by Hanne R. Nielson posted to denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism seq type-classes types by voigt on 2005-09-09 12:58:40 as
	Functional array fusion [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216. by Manuel M. T. Chakravarty, Gabriele Keller posted to functional-programming haskell optimization by voigt on 2005-09-09 12:43:37 as along with 4 people and 1 group greenrd balicea tov wtribbey SRG_at_UCD
	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

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

Result page: 1 2 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 haskell [53 articles] Export

voigt's tags