Tag type-classes [49 articles] Export

Recent papers classified by the tag type-classes.

	Associated type synonyms [My Copy] In ICFP 2005 (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones posted to type-families type-classes haskell functional-dependencies associated-types by spl on 2009-11-03 17:22:40 as along with 6 people and 1 group conal greenrd yallop kinaba voigt americovargas SRG_at_UCD
	Free theorems involving type constructor classes: functional pearl [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 173-184. by Janis Voigtländer posted to type-classes language-haskell free-theorems bidirectionalization by pedagand on 2009-09-04 18:40:13 as
	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
	Haskell session types with (almost) no class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted to distributed-systems language-haskell session-types type type-classes by pedagand on 2009-06-25 19:42:24 as along with 4 people ama08r shimomura tov keigoi
	Data types à la carte [My Copy] Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 423-436. by Wouter Swierstra posted to expression-problem haskell type-classes by msakai on 2009-06-14 07:40:09 as
	ML Modules and Haskell Type Classes: A Constructive Comparison [My Copy] Programming Languages and Systems (2008), pp. 188-204. by Stefan Wehr, Manuel Chakravarty posted to haskell ml modularity type-classes by spl on 2009-04-08 16:12:31 as
	First-Class Type Classes [My Copy] Theorem Proving in Higher Order Logics (2008), pp. 278-293. by Matthieu Sozeau, Nicolas Oury posted to coq coq-programming type-classes by pedagand on 2009-03-29 15:00:00 as
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to dependent-types functional-programming language-haskell type-classes by pedagand on 2009-03-28 21:46:11 as along with 8 people and 2 groups samth draganigajic twleung dherman JacquesC greenrd tov sclv NU-PRL SRG_at_UCD
	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
	Language and Program Design for Functional Dependencies [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 87-98. by Mark P. Jones, Iavor S. Diatchki posted to databases functional-dependencies haskell relational type-classes type-families type-inference by spl on 2009-02-25 14:55:21 as
	A comparison of c++ concepts and haskell type classes [My Copy] In WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming (2008), pp. 37-48. by Jean P. Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas Priesnitz posted to c haskell type-classes by msakai on 2008-11-30 16:26:43 as along with 3 people jonathancooper marcinzalewski jpbernardy
	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
	Dictionary-free overloading by partial evaluation [My Copy] In In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (1994), pp. 107-117. by Mark P. Jones posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as
	A theory of qualified types [My Copy] In In Fourth European Symposium on Programming, Vol. 582 (1992), pp. 287-306. by Mark P. Jones posted to lecture-cs-252r polymorphism qualified-types type type-classes types by pedagand on 2008-08-23 07:52:05 as along with 1 person draganigajic
	First-class Polymorphism with Type Inference [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496. by Mark P. Jones posted to language-haskell lecture-cs-252r polymorphism system-f type-classes by pedagand on 2008-08-23 07:48:29 as along with 2 people draganigajic spl
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to language-gofer language-haskell lecture-cs-252r type-classes by pedagand on 2008-08-23 07:47:24 as along with 3 people draganigajic linekin jpbernardy
	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
	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
	Type Classes with Functional Dependencies [My Copy] In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems (2000), pp. 230-244. by Mark P. Jones posted to type-classes by msakai on 2008-05-25 10:58:16 as along with 1 person spl
	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
	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
	Associated Types with Class [My Copy] In POPL 2005 (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow posted to associated-types haskell type-classes type-families type-indexed by spl on 2008-04-11 13:45:39 as along with 10 people and 2 groups samth greenrd zednenem bec voigt msakai bonotake gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	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
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted to haskell type-classes by gkuan on 2008-03-05 17:02:29 as along with 5 people msakai lomeo tov gds SamB
	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
	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 datatype-generic emgm generics haskell type-classes by spl on 2008-02-14 12:51:10 as along with 6 people and 1 group draganigajic ancechu samth yallop bringert pedagand NU-PRL
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted to ad-hoc-polymorhpism software-design software-extension type-classes by RalfMitschke on 2008-01-18 10:40:18 as along with 9 people and 2 groups pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr jpbernardy NU-PRL complogic
	Software extension and integration with type classes [My Copy] In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 161-170. by Ralf Lämmel, Klaus Ostermann posted to software-design software-extension type-classes by RalfMitschke on 2008-01-18 10:29:32 as
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as along with 1 person chandlerc
	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 functional-dependencies haskell overloading type-classes by AndreasSchropp on 2007-03-15 18:02:15 as along with 2 people keigoi yallop
	Software extension and integration with type classes [My Copy] In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 161-170. by Ralf Lämmel, Klaus Ostermann posted to decomposition-problem design-patterns expression-problem framework-integration haskell multiple-dispatch software-extension software-integration type-classes by AndreasSchropp on 2007-01-04 00:43:05 as
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted to haskell objects oop polymorphism records subtyping type-classes by AndreasSchropp on 2007-01-04 00:34:13 as along with 5 people and 1 group greenrd voigt mgran mcclurmc jimburton 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 configuration existential-types faking-dependent-types higher-rank-polymorphism implicit-parameters polymorphism-recursion type-classes by AndreasSchropp on 2006-12-22 22:30:10 as along with 5 people and 1 group hellige greenrd yallop zednenem jimburton SRG_at_UCD
	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
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to haskell type-classes types by bonotake on 2006-02-05 16:54:07 as along with 10 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai tov calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. Simon, Philip L. Wadler posted to haskell type-classes by robennals on 2005-11-21 11:16:15 as along with 4 people and 2 groups dherman rgb tov bendiken NU-PRL pileWorks
	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
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted to haskell type-classes by tautologico on 2005-11-10 00:31:18 as along with 5 people bunge ds americovargas yoriyuki pedagand
	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
	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
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to denotational-semantics free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism type-classes types by voigt on 2005-09-13 08:43:30 as along with 7 people and 1 group fvogels byorgey amp269 spl paper_jac robdockins nominolo ConcertRG
	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
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] In European Symposium on Programming (2004) by Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann posted to fp fundeps haskell type-classes by zednenem on 2005-08-13 10:08:25 as along with 1 person tov
	Faking it Simulating dependent types in Haskell [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392. by Conor Mcbride posted to dependent-types haskell type-classes by dalev on 2005-08-02 04:10:32 as along with 2 people and 1 group keigoi americovargas NU-PRL
	$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 haskell polytypic type-classes by samth to the group NU-PRL on 2005-02-21 16:01:32 as along with 5 people and 1 group spl mkis greenrd yallop americovargas SRG_at_UCD
	$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 haskell polytypic type-classes by samth to the group NU-PRL on 2005-02-21 16:01:21 as along with 4 people and 1 group greenrd yallop spl americovargas SRG_at_UCD

Note: You may cite this page as: http://www.citeulike.org/tag/type-classes

haskell	74
types	19
functional-programming	17
polymorphism	17
generic-programming	12
functional-dependencies	11
generics	9
polytypic	6
associated-types	5
datatype-generic	5
dependent-types	5
free-theorems	5
language-haskell	5
denotational-semantics	3
emgm	3
expression-problem	3
extensibility	3
lecture-cs-252r	3
oop	3
parametricity	3
program-transformation	3
rank-2	3
records	3
software-extension	3
type-families	3
category-theory	2
databases	2
deriving	2
design-patterns	2
implicit-context	2
logical-relations	2
modularity	2
monads	2
objects	2
optimization	2
simulating-language-features	2
software-design	2
subtyping	2
type	2
type-indexed	2
ad-hoc-polymorhpism	1
ad-hoc-polymorphism	1
applications	1
bidirectionality	1
bidirectionalization	1
c	1
configuration	1
continuations	1
coq	1
coq-programming	1
decomposition-problem	1
deforestation	1
distributed-systems	1
dsl	1
existential-types	1
faking-dependent-types	1
fp	1
framework-integration	1
functional_programming	1
fundeps	1
gadts	1
generic	1
higher-rank-polymorphism	1
implicit-parameters	1
implicit-variables	1
lambda-calculus	1
language-gofer	1
lazy_evaluation	1
libraries	1
lightweight	1
logic-programming	1
ml	1
multiple-dispatch	1
operating-systems	1
overloading	1
partial-evaluation	1
polymorphism-recursion	1
qualified-types	1
relational	1
seq	1
session-types	1
shortcut-deforestation	1
software-integration	1
submit-gdiff	1
syb	1
system-f	1
type-inference	1
type-theory	1
type_systems	1
view-update	1

Tag type-classes [49 articles] Export

Related Tags