yallop's generics [29 articles] Export Sort

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

Hide details

	Type-safe cast: (functional pearl) [My Copy] SIGPLAN Not., Vol. 35, No. 9. (September 2000), pp. 58-67. by Stephanie Weirich posted to generics typing by yallop on 2006-12-14 11:18:48 as
	Compiling Polymorphism Using Intensional Type Analysis [My Copy] (1994) by Robert Harper, Greg Morrisett posted to generics intensional-polymorphism by yallop on 2006-12-14 11:16:47 as
	$My PDF l&\#228;mmel_05_scrap.pdf$ 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&\#228;mmel, Simon P. Jones posted to generics syb by yallop on 2006-12-14 11:13:16 as along with 8 people spl mkis hamish bec voigt kavabean lomeo americovargas
	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 13-24. by Deling Ren, Martin Erwig posted to generics syb by yallop on 2006-12-14 11:13:12 as
	$My PDF l&\#228;mmel_04_scrap.pdf$ Scrap more boilerplate: reflection, zips, and generalised casts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf L&\#228;mmel, Simon P. Jones posted to generics syb by yallop on 2006-12-14 11:13:05 as along with 4 people and 2 groups samth greenrd spl americovargas NU-PRL SRG_at_UCD
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] SIGPLAN Not., Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted to generics syb by yallop on 2006-12-14 11:12:54 as along with 1 person marcinzalewski
	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, Jeremy Gibbons posted to generics by yallop on 2006-12-14 11:12:49 as along with 2 people and 1 group voigt spl ConcertRG
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted to generics typeclasses by yallop on 2006-12-14 11:11:08 as
	Generics as a Library [My Copy] by Bruno, Ralf Hinze, Andres Löh posted to generics by yallop on 2006-12-14 11:10:02 as along with 1 person americovargas
	Scrap Your Boilerplate” reloaded [My Copy] by R. Hinze, A. Loh, Bcs Oliveira posted to generics syb by yallop on 2006-12-14 11:09:57 as
	“Scrap Your Boilerplate” Revolutions [My Copy] by Ralf Hinze posted to generics syb by yallop on 2006-12-14 11:08:56 as
	Chapter 1. Generic Haskell: Practice and Theory [My Copy] Lecture Notes in Computer Science : Generic Programming (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring posted to generics by yallop on 2006-12-14 11:08:17 as along with 2 people spl msakai
	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 by yallop on 2006-12-14 11:08:09 as along with 6 people and 1 group draganigajic ancechu samth spl bringert pedagand NU-PRL
	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 by yallop on 2006-12-14 11:07:46 as along with 2 people draganigajic pedagand
	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 Loh posted to generics by yallop on 2006-12-14 11:07:26 as along with 2 people spl hamish
	$My PDF l&\#246;h_03_dependencystyle.pdf$ Dependency-style generic haskell [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 141-152. by Andres L&\#246;h, Dave Clarke, Johan Jeuring posted to generics by yallop on 2006-12-14 11:07:19 as
	Exploring Generic Haskell [My Copy] (2004) by Andres Loh posted to generics by yallop on 2006-12-14 11:07:08 as
	PolyP---A Polytypic Programming Language Extension [My Copy] In Conf.\ Record 24th ACM {SIGPLAN}-{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'97, Paris, France, 15--17 Jan 1997 (1997), pp. 470-482. by Patrik Jansson, Johan Jeuring posted to generics polyp by yallop on 2006-12-14 11:06:09 as along with 1 person americovargas
	RepLib: A library for derivable type classes [My Copy] (2006) by Stephanie Weirich posted to generics by yallop on 2006-12-14 11:05:23 as
	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 gadts generics by yallop on 2006-12-14 10:57:56 as along with 2 people eaubin spl
	A Generic Programming Extension for Clean [My Copy] Lecture Notes in Computer Science : Implementation of Functional Languages : 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001. Selected Papers (2002), 168. by Artem Alimarine, Rinus Plasmeijer posted to clean generics by yallop on 2006-12-14 10:54:14 as
	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 curry-howard generics by yallop on 2006-12-14 10:52:06 as along with 13 people and 3 groups Scis0000002 fvogels draganigajic greenrd plaugg thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	Comparing Approaches to Generic Programming in Haskell [My Copy] by R. Hinze, J. Jeuring, A. Loh posted to generics by yallop on 2006-12-14 10:51:30 as
	Generic Programming, Now! [My Copy] (2006) by Ralf Hinze, Anders Loh posted to gadts generics spine-view by yallop on 2006-12-14 10:50:49 as
	Design Patterns as Higher-Order Datatype-Generic Programs - Google Scholar [My Copy] (2006) by Jeremy Gibbons posted to design-patterns generics by yallop on 2006-12-14 10:49:13 as
	Altenkirch: Generic programming within dependently typed programming - Google Scholar [My Copy] (2006) posted to dependent-types generics by yallop on 2006-12-14 10:48:35 as
	Essential language support for generic programming [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 73-84. by Jeremy G. Siek, Jeremy Siek, Andrew Lumsdaine posted to generics by yallop on 2006-10-29 22:17:08 as along with 3 people thsutton bec jsiek
	Generic Views [My Copy] by Stefan Holdermans posted to generics haskell views by yallop on 2005-12-11 00:18:09 as
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted to generics haskell typing by yallop on 2005-04-23 13:44:08 as along with 5 people and 2 groups spl mkis samth greenrd americovargas NU-PRL SRG_at_UCD

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

generics	29
typeclasses	28
typing	12
continuations	7
links	7
syb	6
functionalprogramming	4
haskell	4
lambdacalculus	3
tuples	2
existentials	2
fundeps	2
dependent-types	2
overloading	2
implementation	2
ml	2
datastructures	2
xml	2
gadts	2
web	2
monads	1
curry-howard	1
macros	1
typeindexed	1
spine-view	1
polyp	1
hmx	1
chomsky	1
partitioning	1
associatedtypes	1
ssa	1
design-patterns	1
3mdl	1
cfg	1
language	1
puretypesystems	1
client-side-validation	1
extensibility	1
configurations	1
views	1
compilation	1
comonads	1
second-look	1
functionalpearl	1
modules	1
fsm	1
clean	1
intensional-polymorphism	1
dataflow	1
harperstone	1
system-o	1
fold	1
xquery	1
unparsing	1

yallop's generics [29 articles] Export Sort

yallop's tags