mcclurmc's Hudak:P [5 articles] Export

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

	Modular Denotational Semantics for Compiler Construction [My Copy] In In European Symposium on Programming, Vol. 1058 (1996), pp. 219-234. by Sheng Liang, Paul Hudak posted to compilers dsl monad-transformers monads by mcclurmc on 2009-06-04 22:10:22 as
	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 M. Ac posted to interpreters monads programming-language-design by mcclurmc on 2008-05-19 15:55:11 as
	Building domain-specific embedded languages [My Copy] ACM Comput. Surv., Vol. 28, No. 4es. (1996), 196. by Paul Hudak posted to dsl haskell by mcclurmc on 2007-12-13 16:57:36 as along with 8 people cblock jacob hamish JeffreyPalmer cedricboidin brady mldechert RalfMitschke
	Rolling your own mutable ADT -- a connection between linear types and monads [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted to adt functional-programming linear-types monads type-theory by mcclurmc on 2007-12-13 16:40:50 as along with 2 people and 1 group dherman tautologico NU-PRL
	A Gentle Introduction to Haskell [My Copy] (October 1999) by Paul Hudak, John Peterson, Joseph Fasel posted to haskell tutorial by mcclurmc on 2007-12-13 14:22:47 as along with 2 people and 1 group michaelbanks draganigajic functional programming

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/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.

type-theory	40
concurrency	27
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
curry-howard	4
dsl	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's Hudak:P [5 articles] Export

mcclurmc's tags