yallop's library 91 articles Export

	Type classes in Haskell [My Copy] ACM Trans. Program. Lang. Syst., Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, Simon, Philip L. Wadler posted to typeclasses by yallop on 2006-12-14 11:19:04 as
	A second look at overloading [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 135-146. by Martin Odersky, Philip Wadler, Martin Wehr posted to second-look system-o typeclasses by yallop on 2006-12-14 11:18:59 as
	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
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science : Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. Proceedings (2000), 230. by Mark P. Jones posted to fundeps typeclasses by yallop on 2006-12-14 11:18:10 as
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] Lecture Notes in Computer Science : Programming Languages and Systems (2004), pp. 49-63. by Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann posted to fundeps typeclasses typing by yallop on 2006-12-14 11:16:56 as along with 1 person AndreasSchropp
	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
	A theory of overloading [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269. by Peter J. Stuckey, Martin Sulzmann posted to hmx overloading typeclasses by yallop on 2006-12-14 11:16:17 as along with 2 people keigoi AndreasSchropp
	$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
	$My PDF l&\#246;h_06_open.pdf$ 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&\#246;h, Ralf Hinze posted to extensibility overloading typeclasses by yallop on 2006-12-14 11:08:04 as along with 1 person spl
	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
	Modular Type Classes [My Copy] In Proceedings of The 34th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (2007) by Derek Dreyer, Robert Harper, Manuel posted to harperstone ml modules typeclasses by yallop on 2006-10-29 22:22:32 as
	A parametric extension of Haskell's type classes [My Copy] (1994) by Kung Chen posted to typeclasses by yallop on 2006-10-29 22:20:39 as
	Type classes with existential types [My Copy] (1996) by K. Aufer posted to existentials typeclasses by yallop on 2006-10-29 22:19:44 as
	Combining Type Classes and Existential Types [My Copy] (1994) by K. Laufer posted to existentials typeclasses by yallop on 2006-10-29 22:19:07 as
	A theory of qualified types [My Copy] In ESOP'92: Symposium proceedings on 4th European symposium on programming (1992), pp. 287-306. by Mark P. Jones posted to typeclasses by yallop on 2006-10-29 22:19:00 as
	Parametric type classes [My Copy] In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 170-181. by Kung Chen, Paul Hudak, Martin Odersky posted to typeclasses by yallop on 2006-10-29 22:18:54 as along with 1 person tov
	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
	Encoding types in ML-like languages [My Copy] Theor. Comput. Sci., Vol. 315, No. 1. (May 2004), pp. 151-190. by Zhe Yang posted to typeindexed by yallop on 2006-10-29 22:17:05 as along with 1 person keigoi
	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 P. Jones posted to associatedtypes typeclasses by yallop on 2006-10-29 22:16:52 as along with 6 people and 1 group spl conal greenrd kinaba voigt americovargas SRG_at_UCD
	Functional pearl: implicit configurations--or, type classes reflect the values of types [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44. by Oleg Kiselyov, Chung-Chieh Shan posted to configurations functionalpearl typeclasses by yallop on 2006-10-29 22:16:43 as along with 5 people and 1 group hellige greenrd zednenem AndreasSchropp jimburton SRG_at_UCD
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 230-??. by Mark P. Jones posted to typeclasses by yallop on 2006-10-29 22:12:44 as
	A static semantics for Haskell [My Copy] (1992) by Simon, Philip Wadler posted to typeclasses by yallop on 2006-10-29 22:12:37 as
	Fun with functional dependencies [My Copy] (2001) by T. Hallgren posted to typeclasses by yallop on 2006-10-29 22:12:10 as along with 3 people voigt spl jimburton
	Haskell-style Overloading is NP-hard [My Copy] pp. 88-94. by D. M. Volpano posted to typeclasses by yallop on 2006-10-29 22:11:57 as
	Parametric Overloading in Polymorphic Programming Languages [My Copy] In ESOP '88: Proceedings of the 2nd European Symposium on Programming (1988), pp. 131-144. by Stefan Kaes posted to typeclasses by yallop on 2006-10-29 22:10:24 as along with 1 person tov
	A Second Look at Overloading [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 135-146. by Martin Odersky, Philip Wadler, Martin Wehr posted to typeclasses by yallop on 2006-10-29 22:10:11 as along with 2 people robotact msakai
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to typeclasses by yallop on 2006-10-29 22:09:51 as along with 3 people shimomura keigoi tov
	Dictionary-free overloading by partial evaluation [My Copy] Lisp Symb. Comput., Vol. 8, No. 3. (September 1995), pp. 229-248. by Mark P. Jones posted to typeclasses by yallop on 2006-10-29 22:09:45 as

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

Result page: 1 2 Next

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

yallop's library 91 articles Export

yallop's tags