Tag typeclasses [41 articles] Export

Recent papers classified by the tag typeclasses.

	A system of constructor classes: overloading and implicit higher-order polymorphism [My Copy] In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61. by Mark P. Jones posted to monads types typeclasses by draganigajic on 2008-09-15 16:53:09 as along with 3 people SamB jpbernardy pedagand
	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 haskell typeclasses by draganigajic on 2008-09-15 16:52:23 as along with 9 people and 2 groups pedagand dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke jpbernardy NU-PRL complogic
	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
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to haskell types typeclasses by draganigajic on 2008-09-15 16:40:16 as along with 3 people linekin jpbernardy pedagand
	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 functional-programming haskell typeclasses types typesystems by SamB on 2008-03-24 17:53:55 as along with 5 people msakai lomeo tov gds gkuan
	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 haskell pl typeclasses types by tov on 2008-02-29 19:13:03 as along with 1 person yallop
	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 history monads typeclasses types by SamB on 2008-01-27 20:21:40 as along with 4 people triampurum mthomure spl brecknell
	Associated types with class [My Copy] (2005) by M. Chakravarty, G. Keller, S. Jones, S. Marlow posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted to functional-programming haskell monads typeclasses by SamB on 2007-12-16 04:39:30 as along with 1 person mcclurmc
	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 functional-programming haskell typeclasses types typesystems by SamB on 2007-12-16 04:29:47 as along with 1 person mmarcus
	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 haskell type-inference typeclasses typing by AndreasSchropp on 2006-12-22 21:54:56 as along with 1 person yallop
	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 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
	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
	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
	$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
	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
	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
	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
	Implementing Haskell Overloading [My Copy] In Functional Programming Languages and Computer Architecture (1993), pp. 65-73. by Lennart Augustsson posted to typeclasses by yallop on 2006-10-29 22:09:41 as
	Haskell overloading is DEXPTIME-complete [My Copy] Inf. Process. Lett., Vol. 52, No. 2. (October 1994), pp. 57-60. by Helmut Seidl posted to typeclasses by yallop on 2006-10-29 22:09:35 as
	$My PDF thatt&\#233;_94_semantics.pdf$ Semantics of type classes revisited [My Copy] SIGPLAN Lisp Pointers, Vol. VII, No. 3. (1994), pp. 208-219. by Satish R. Thatt&\#233; posted to typeclasses by yallop on 2006-10-29 22:08:50 as
	A system of constructor classes: overloading and implicit higher-order polymorphism [My Copy] In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 52-61. by Mark P. Jones posted to typeclasses by yallop on 2006-10-29 22:08:38 as along with 1 person jpbernardy
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] by G. Duck, Peyton, P. Stuckey, M. Sulzmann posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:50 as along with 1 person zednenem
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:08 as along with 8 people and 2 groups samth pedagand draganigajic twleung dherman JacquesC greenrd sclv NU-PRL SRG_at_UCD
	A typed representation for HTML and XML documents in Haskell [My Copy] (2002) by P. Thiemann posted to haskell pl typeclasses types by tov on 2006-10-06 01:36:55 as
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:55 as along with 10 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
	Implementing type classes [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation (1993), pp. 227-236. by John Peterson, Mark Jones posted to haskell pl typeclasses types by tov on 2006-10-06 01:31:27 as
	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 pl typeclasses types by tov on 2006-10-06 01:30:23 as along with 4 people and 2 groups dherman robennals rgb bendiken NU-PRL pileWorks

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

haskell	20
types	17
pl	10
functional-programming	5
monads	4
fundeps	3
typesystems	3
existentials	2
generics	2
icfp08	2
overloading	2
typing	2
associatedtypes	1
configurations	1
extensibility	1
functionalpearl	1
history	1
hmx	1
kind-inference	1
kinds	1
second-look	1
system-o	1
type-inference	1

Tag typeclasses [41 articles] Export

Related Tags