Tag generics [70 articles] Export

Recent papers classified by the tag generics.

	Generic Programming with Fixed Points for Mutually Recursive Datatypes [My Copy] In ICFP 2009 (2009), pp. 233-244. by Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring posted to zipper submit-incremental submit-gdiff recursion mutual-recursion libraries generics fixed-point datatype-generic by spl on 2009-09-07 11:04:23 as
	A lightweight approach to datatype-generic rewriting [My Copy] In WGP 2008 (2008), pp. 13-24. by Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren posted to submit-incremental rewriting lightweight haskell generics datatype-generic by spl on 2009-06-20 11:09:17 as
	Type-indexed data types [My Copy] MPC 2002 (2002), pp. 77-91. by Ralf Hinze, Johan Jeuring, Andres Löh posted to zipper type-indexed generics generic-haskell datatype-generic by spl on 2009-05-09 20:15:03 as
	Polytypic Pattern Matching [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 238-248. by Johan Jeuring posted to datatype-generic generics pattern-matching by spl on 2009-04-28 10:56:27 as
	Polytypic Programming [My Copy] Advanced Functional Programming (1996), pp. 68-114. by Johan Jeuring, Patrik Jansson posted to datatype-generic generics rewriting by spl on 2009-04-28 10:47:33 as
	Generic Discrimination: Sorting and Paritioning Unshared Data in Linear Time [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102. by Fritz Henglein posted to sorting haskell generics gadts equivalence discrimination combinators algorithms by spl on 2009-04-20 13:32:38 as along with 4 people brothers jkominek jimburton JeffreyPalmer
	The Derivative of a Regular Type is its Type of One-Hole Contexts [My Copy] (2001) by Conor McBride posted to zipper submit-incremental generics by spl on 2009-03-20 22:11:01 as along with 2 people kalmar SamB
	Universes for Generic Programs and Proofs in Dependent Type Theory [My Copy] Nordic Journal of Computing, Vol. 10, No. 4. (2003), pp. 265-289. by Marcin Benke, Peter Dybjer, Patrik Jansson posted to alfa dependent-types generics proofs submit-gdiff universes by spl on 2009-03-18 21:32:49 as
	"Scrap Your Boilerplate" Reloaded [My Copy] Functional and Logic Programming (2006), pp. 13-29. by Ralf Hinze, Andres Löh, Bruno posted to datatype-generic gadts generics haskell spine-view syb views by spl on 2009-03-18 21:20:49 as along with 1 person americovargas
	"Scrap Your Boilerplate" Revolutions [My Copy] Mathematics of Program Construction (2006), pp. 180-208. by Ralf Hinze, Andres Löh posted to datatype-generic generics haskell spine-view syb views by spl on 2009-03-18 21:16:06 as along with 1 person bringert
	Scrap Your Boilerplate With Class: Extensible Generic Functions [My Copy] In ICFP 2005 (2005), pp. 204-215. by Ralf Lämmel, Simon L. Peyton Jones posted to datatype-generic extensibility generics haskell syb type-classes by spl on 2009-03-18 21:07:30 as along with 8 people mkis hamish yallop bec voigt kavabean lomeo americovargas
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDI 2003, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf Lämmel, Simon L. Peyton Jones posted to datatype-generic design-patterns generics haskell syb by spl on 2009-03-18 21:04:13 as along with 5 people and 2 groups mkis samth greenrd yallop americovargas NU-PRL SRG_at_UCD
	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 Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to comparison cpp csharp eiffel generics haskell java ml programming-language by spl on 2009-03-11 09:59:36 as along with 2 people and 1 group dherman voigt NU-PRL
	Type-indexed data types [My Copy] Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 117-151. by Ralf Hinze, Johan Jeuring, Andres Löh posted to datatype-generic generic-haskell generics type-indexed zipper by spl on 2009-02-06 16:31:41 as along with 2 people hamish yallop
	A Pattern for Almost Compositional Functions [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 216-226. by Björn Bringert, Aarne Ranta posted to dependent-types gadts generics haskell inductive-type-families syb traversals by spl on 2009-02-05 12:57:59 as along with 1 person bringert
	Generics of a higher kind [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 423-438. by Adriaan Moors, Frank Piessens, Martin Odersky posted to generics scala by RalfMitschke on 2008-11-03 11:50:55 as
	PolyP---a polytypic programming language extension [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 470-482. by Patrik Jansson, Johan Jeuring posted to datatype-generic generics haskell polyp submit-gdiff by spl on 2008-09-24 00:00:50 as along with 1 person bringert
	A New Approach to Generic Functional Programming [My Copy] In Symposium on Principles of Programming Languages (2000), pp. 119-132. by Ralf Hinze posted to generics haskell by draganigajic on 2008-09-15 16:47:44 as along with 3 people kavabean americovargas pedagand
	Polytypic values possess polykinded types [My Copy] Science of Computer Programming, Vol. 43, No. 2-3. ( 2002), pp. 129-159. by Ralf Hinze posted to generics types by draganigajic on 2008-09-15 16:46:42 as along with 2 people yallop pedagand
	Generics for the masses [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243. by Ralf Hinze posted to generics haskell typeclasses by draganigajic on 2008-09-15 16:45:57 as along with 6 people and 1 group ancechu samth yallop spl bringert pedagand NU-PRL
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted to generics haskell by draganigajic on 2008-09-15 16:13:54 as along with 4 people and 1 group jburnim lomeo bringert namin Lambda the Ultimate
	Generic Programming: An Introduction [My Copy] Advanced Functional Programming (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to fromspl generics introduction category-theory by draganigajic on 2008-09-15 15:45:31 as along with 4 people ansobol pedagand spl americovargas
	Functor Pulling [My Copy] In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998) by Lambert Meertens edited by Roland Backhouse, Tim Sheard posted to functors generics category-theory by draganigajic on 2008-09-15 15:44:42 as along with 1 person spl
	Generics for the masses [My Copy] Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 451-483. by R. A. L. F. Hinze posted to datatype-generic emgm generics haskell type-classes by spl on 2008-08-27 12:24:07 as
	GJ Specification [My Copy] (1998) by Gilad, Philip Wadler posted to generics java by fgeller on 2008-06-16 15:29:03 as
	PolyLib---a library of polytypic functions [My Copy] In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998) by Patrik Jansson, Johan Jeuring edited by Roland Backhouse, Tim Sheard posted to bifunctors datatype-generic generics libraries polyp transpose zip by spl on 2008-06-11 16:36:49 as
	Polytypic Programming in Haskell [My Copy] Implementation of Functional Languages (September 2003), pp. 168-184. by Ulf Norell, Patrik Jansson posted to datatype-generic generics haskell libraries type-classes by spl on 2008-06-06 16:15:56 as
	Uniform Boilerplate and List Processing [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 49-60. by Neil Mitchell, Colin Runciman posted to boilerplate generics traversals by spl on 2008-06-02 13:11:08 as along with 1 person sebfisch
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351. by Ralf Hinze edited by Paul Hudak, Greg Morrisett posted to tries rank-2-polymorphism haskell generics exponentials datatype-generic by spl on 2008-05-28 17:36:27 as
	A New Approach to Generic Functional Programming [My Copy] In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 119-132. by Ralf Hinze posted to datatype-generic generics haskell type-indexed by spl on 2008-05-24 13:17:48 as
	Memo functions, polytypically! [My Copy] In WGP 2000: Proceedings of the Second Workshop on Generic Programming (6 July 2000) by Ralf Hinze edited by Johan Jeuring posted to tries submit-incremental non-strict-evaluation memoization haskell generics datatype-generic by spl on 2008-05-23 10:36:01 as
	Calculate Polytypically! [My Copy] In PLILP '96: Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs (1996), pp. 1-16. by Lambert Meertens posted to catamorphism crush datatype-generic generics by spl on 2008-04-29 10:31:42 as
	Modular Generic Programming with Extensible Superclasses [My Copy] In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 55-65. by Martin Sulzmann, Meng Wang posted to extensibility generics haskell type-classes by spl on 2008-04-28 08:04:25 as along with 1 person jpbernardy
	Fun with phantom types [My Copy] In Fun of Programming (27 March 2003), pp. 245-262. by Ralf Hinze edited by Jeremy Gibbons, Oege de Moor posted to dynamically-typed generics phantom-types by spl on 2008-04-23 18:22:43 as along with 2 people thsutton jimburton
	Generic Haskell: Applications [My Copy] Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring posted to zipper xml type-indexed tries generics generic-haskell dictionaries datatype-generic by spl on 2008-04-23 11:02:06 as
	Generic Views on Data Types [My Copy] MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction In MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction (July 2006), pp. 209-234. by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Yakushev edited by Tarmo Uustalu posted to datatype-generic generic-haskell generics submit-gdiff views by spl on 2008-04-21 09:44:21 as along with 1 person marcinzalewski
	RepLib: A Library for Derivable Type Classes [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12. by Stephanie Weirich posted to deriving generics haskell type-classes by spl on 2008-04-12 20:22:11 as along with 2 people zednenem keigoi
	Derivable Type Classes [My Copy] In 4th Haskell Workshop (17 September 2000) by Ralf Hinze, Simon L. Peyton Jones edited by Graham Hutton posted to deriving generics haskell type-classes by spl on 2008-04-12 20:09:29 as along with 3 people zednenem conal americovargas
	Comparing Approaches to Generic Programming in Haskell [My Copy] Datatype-Generic Programming (2007), pp. 72-149. by Ralf Hinze, Johan Jeuring, Andres Löh posted to comparison datatype-generic generic-haskell generics haskell by spl on 2008-04-04 11:38:26 as along with 1 person pedagand
	Datatype-Generic Programming [My Copy] Datatype-Generic Programming In Datatype-Generic Programming (2007), pp. 1-71. by Jeremy Gibbons edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring posted to datatype-generic design-patterns generics haskell submit-gdiff by spl on 2008-04-03 12:47:52 as along with 4 people fvogels jpbernardy americovargas marcinzalewski
	Scrap More Boilerplate: Reﬂection, Zips, and Generalised Casts [My Copy] In ICFP 2004, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf Lämmel, Simon L. Peyton Jones posted to boilerplate datatype-generic generics haskell reflection syb zip by spl on 2008-03-31 18:46:01 as along with 4 people and 2 groups samth greenrd yallop americovargas NU-PRL SRG_at_UCD
	Prototyping Generic Programming in Template Haskell [My Copy] Mathematics of Program Construction (2004), pp. 314-333. by Ulf Norell, Patrik Jansson posted to generics haskell template-haskell by spl on 2008-03-31 10:59:29 as
	Extensible and Modular Generics for the Masses [My Copy] In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216. by Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh edited by Henrik Nilsson posted to ad-hoc-polymorphism datatype-generic emgm expression-problem extensibility generics haskell lightweight modularity submit-gdiff type-classes by spl on 2008-03-11 14:18:57 as along with 1 person americovargas
	Influence of mandatory generic substitution on pharmaceutical sales patterns: a national study over five years [My Copy] BMC Health Services Research, Vol. 8, No. 1. (2008) by Karolina Andersson, Max Petzold, Peter Allebeck, Anders Carlsten posted to generics by kusjasherb on 2008-03-01 07:55:44 as
	Template meta-programming for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16. by Tim Sheard, Simon Peyton Jones posted to functional-programming generics haskell meta-programming by jimburton on 2008-02-29 12:17:38 as along with 8 people and 1 group spl samth twleung dherman JacquesC ryanc bringert wtribbey NU-PRL
	Optimising Embedded DSLs Using Template Haskell [My Copy] Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205. by Sean Seefried, Manuel Chakravarty, Gabriele Keller posted to dsel functional-programming generics haskell by jimburton on 2008-02-29 12:16:04 as along with 2 people mbravenboer keigoi
	Two Ways to Bake Your Pizza - Translating Parameterised Types into Java [My Copy] In Selected Papers from the International Seminar on Generic Programming (2000), pp. 114-132. by Martin Odersky, Enno Runne, Philip Wadler posted to generics by jimburton to the group Lambda the Ultimate on 2008-02-26 22:24:28 as
	Open Data Types and Open Functions [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 133-144. by Andres Löh, Ralf Hinze posted to expression-problem extensibility generics haskell lightweight mutual-recursion open by spl on 2008-02-24 16:19:16 as along with 1 person yallop
	A Lightweight Implementation of Generics and Dynamics [My Copy] In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 90-104. by James Cheney, Ralf Hinze posted to dynamically-typed generics implementation ligd lightweight by spl on 2008-02-14 13:12:11 as along with 2 people eaubin yallop
	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 design-patterns generics haskell type-classes type-indexed by spl on 2008-02-14 12:55:17 as along with 2 people and 1 group yallop voigt ConcertRG

Note: You may cite this page as: http://www.citeulike.org/tag/generics

Result page: 1 2 Next

haskell	41
datatype-generic	27
syb	11
type-classes	9
java	6
submit-gdiff	6
zipper	6
generic-haskell	5
type-indexed	5
category-theory	4
extensibility	4
functional-programming	4
gadts	4
libraries	4
lightweight	4
polyp	4
submit-incremental	4
design-patterns	3
emgm	3
functors	3
tries	3
views	3
bifunctors	2
boilerplate	2
comparison	2
crush	2
dependent-types	2
deriving	2
dynamically-typed	2
expression-problem	2
introduction	2
mutual-recursion	2
oop	2
rewriting	2
spine-view	2
templates	2
transpose	2
traversals	2
type-theory	2
typeclasses	2
typing	2
zip	2
ad-hoc-polymorphism	1
alfa	1
algorithms	1
c-plus-plus	1
catamorphism	1
clean	1
combinators	1
cpp	1
csharp	1
curry-howard	1
derivatives	1
dictionaries	1
diplomarbeit	1
discrimination	1
dsel	1
eiffel	1
equivalence	1
exponentials	1
fixed-point	1
fromspl	1
gadt	1
generic	1
implementation	1
inductive-type-families	1
intensional-polymorphism	1
lawlike	1
ligd	1
memoization	1
meta-programming	1
ml	1
modularity	1
non-strict-evaluation	1
open	1
pattern-matching	1
phantom-types	1
polymorphism	1
programming	1
programming-language	1
proofs	1
quantification	1
rank-2-polymorphism	1
recursion	1
reflection	1
rows	1
scala	1
semantics	1
sorting	1
template-haskell	1
types	1
unification	1
universal	1
universes	1
xml	1

Tag generics [70 articles] Export

Related Tags