zednenem's type-classes [8 articles] Export

Recent papers added to zednenem's library classified by the tag type-classes. You can also see everyone's type-classes.

	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
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted to generic-programming haskell type-classes by zednenem on 2007-08-02 11:36:58 as along with 3 people spl conal americovargas
	System F with Type Equality Coercions [My Copy] by Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones posted to associated-types gadt intermediate-language type-classes type-equality by zednenem on 2006-05-30 19:46:16 as along with 1 person and 1 group scm AS-IIS_ReadingGroup
	Typeful symbolic differentiation of compiled functions [My Copy] by Oleg Kiselyov posted to haskell symbolic-math type-classes by zednenem on 2005-09-17 02:43:09 as
	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 implicit-variables type-classes by zednenem on 2005-09-08 17:24:52 as along with 5 people and 1 group hellige greenrd yallop AndreasSchropp jimburton SRG_at_UCD
	Associated Type Synonyms [My Copy] by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:16:18 as
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:10:01 as along with 10 people and 2 groups samth greenrd bec voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	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

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

haskell	50
monads	34
modules	14
concurrency	11
fp	11
category-theory	9
lazy-evaluation	8
type-classes	8
comonads	7
effects	7
logic-programming	7
generic-programming	6
logic	6
compilation	5
intermediate-language	5
lawvere-theories	5
query	5
continuation	4
continuations	4
mixins	4
monad-transformers	4
recursion	4
staged-programming	4
type-theory	4
algebra	3
associated-types	3
coinduction	3
gui	3
metaprogramming	3
ml	3
ocaml	3
oop	3
polymorphism	3
programming	3
zippers	3
abstract-types	2
algebraic-reasoning	2
applicative-functors	2
attribute-grammars	2
backtracking	2
call-by-value	2
codata	2
composable-references	2
corecursion	2
dataflow-programming	2
dsl	2
gadt	2
higher-ranked-types	2
impredicative-types	2
interpreters	2
lambda-calculus	2
linear-types	2
parsing	2
program-transformation	2
rdf	2
reflection	2
semantics	2
transluscent-functors	2
type-equality	2
type-system	2
algorithms	1
allocation	1
arithmetic	1
arrows	1
build-systems	1
coalgebra	1
collections	1
combinators	1
constraint-satisfaction	1
contracts	1
dependent-types	1
description-logic	1
domain-theory	1
dynamic-linking	1
dynamic-typing	1
edsl	1
embedding	1
epigram	1
equational-reasoning	1
events	1
exceptions	1
expressiveness	1
folds	1
frp	1
fundeps	1
grammar	1
graph	1
implicit-variables	1
incremental-computing	1
knowledge-representation	1
lattices	1
lexing	1
lua	1
macros	1
make	1
metaocaml	1
modal-logic	1
multiparadigm	1
natural-language	1
nested-datatypes	1
non-strict	1
optimization	1
ordinals	1
owl	1
oz	1
pan	1
partial-evaluation	1
plt	1
purely-functional-data-structures	1
python	1
references	1
regular-expressions	1
resumptions	1
scala	1
scheme	1
software-maintenance	1
structural-types	1
symbolic-math	1
system-f	1
template-haskell	1
termination	1
testing	1
text-formatting	1
trampoline-style	1
type-as-proposition	1
typecase	1
type-coercion	1
type-indexed-types	1
type-inference	1
type-isomorphisms	1
unboxed-types	1
units	1
virtual-types	1
xml	1
yampa	1

zednenem's type-classes [8 articles] Export

zednenem's tags