zednenem's Hudak:P [3 articles] Export

Recent papers posted to zednenem's library by the author Hudak:P. You can also see everyone's Hudak:P.

	Realistic Compilation by Program Transformation [My Copy] In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292. by Richard Kelsey, Paul Hudak posted to compilation program-transformation by zednenem on 2005-11-09 17:07:58 as along with 9 people and 2 groups kvm egh twleung jacob rgrig JacquesC JeffreyPalmer jrw josefs NU-PRL SRG_at_UCD
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted to interpreters monad-transformers monads by zednenem on 2005-08-26 22:20:00 as along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico Benja jsala glaubersp conal americovargas pedagand SRG_at_UCD
	Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted to linear-types monads by zednenem on 2005-06-24 19:19:20 as along with 2 people eaubin tautologico

Note: You may cite this page as: http://www.citeulike.org/user/zednenem/author/Hudak:P

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

zednenem's Hudak:P [3 articles] Export

zednenem's tags