voigt's generic-programming [11 articles] Export

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

Hide details

	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
	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
	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
	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
	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
	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
	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

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

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 generic-programming [11 articles] Export

voigt's tags