voigt's Jones:MP [3 articles] Export

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

	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
	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
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to functional-programming haskell monads operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as along with 6 people and 1 group draganigajic pejo hannes mahler mstone pedagand Rightscom

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

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.

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 Jones:MP [3 articles] Export

voigt's tags