voigt's Chakravarty:MMT [3 articles] Export Sort

Recent papers posted to voigt's library by the author Chakravarty:MMT. You can also see everyone's Chakravarty:MMT.

Hide details

	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 Peyton-Jones posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-28 09:48:28 as along with 6 people and 1 group spl conal greenrd yallop kinaba americovargas SRG_at_UCD
	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 Peyton-Jones, Simon Marlow posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-13 12:38:53 as along with 10 people and 2 groups samth greenrd zednenem bec msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	Functional array fusion [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216. by Manuel M. T. Chakravarty, Gabriele Keller posted to functional-programming haskell optimization by voigt on 2005-09-09 12:43:37 as along with 4 people and 1 group greenrd balicea tov wtribbey SRG_at_UCD

Note: You may cite this page as: http://www.citeulike.org/user/voigt/author/Chakravarty:MMT

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.

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

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
program-transformation	23
lambda-calculus	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
type-classes	15
optimization	15
tree-transducers	14
seq	13
xml	13
laziness	13
generic-programming	11
accumulating-parameters	11
operational-semantics	11
strict-evaluation	11
deforestation	11
selective-strictness	10
rank-2	10
call-by-name	10
category-theory	8
shortcut-deforestation	8
verification	8
call-by-value	8
ml	8
call-by-need	7
applications	7
continuations	6
pcf	6
attribute-grammars	6
dsl	5
compilers	5
circular-programs	5
operating-systems	5
multiple-traversals	4
subtyping	4
tupling	4
theorem-provers	4
induction-proofs	4
functional-dependencies	4
embedded-systems	3
arrows	3
automata	3
dependent-types	3
objects	3
scheme	3
static-analysis	2
linear-logic	2
parallel-programming	2
logic-programming	2
nominal-abstract-syntax	2
clean	2
mso-logic	2
programatica	2
sequentiality	2
quantum-computation	1
optimal-reduction	1
databases	1
real-time	1
imprecise-errors	1
bidirectionality	1
view-update	1
concurrency	1
decidability	1
streams	1
imperative-programming	1
complexity-analysis	1
nondeterminism	1
exceptions	1
errors	1
uniqueness	1

voigt's Chakravarty:MMT [3 articles] Export Sort

voigt's tags