tautologico's Hudak:P [5 articles] Export

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

	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 tautologico on 2008-01-12 21:09:59 as along with 2 people eaubin zednenem
	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 monads by tautologico on 2006-04-29 04:25:57 as along with 10 people and 1 group draganigajic greenrd JeffreyPalmer zednenem Benja jsala glaubersp conal americovargas pedagand SRG_at_UCD
	A semantic model of reference counting and its abstraction (detailed summary) [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 351-363. by Paul Hudak posted to reference-counting by tautologico on 2005-10-13 21:08:32 as along with 1 person mattmight
	Functional Reactive Animation [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 263-273. by Conal Elliott, Paul Hudak posted to functional haskell reactive by tautologico on 2005-09-19 16:09:37 as along with 1 person jacob
	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 linear-types monads by tautologico on 2005-03-23 02:10:09 as along with 2 people and 1 group dherman mcclurmc NU-PRL

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

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
ml	11
stm	11
haskell	11
linear-logic	11
lambda-calculus	10
linear-types	7
dependent-types	7
typed-assembly-language	6
logic	6
lazy	6
languages	6
logic-programming	5
cyclone	5
pi-calculus	5
dynamic-types	5
petri-nets	4
lock-free	4
intensional-types	4
category-theory	4
pcc	4
prolog	3
partial-evaluation	3
continuations	3
jvm	3
java	3
coinduction	3
arrows	3
value-restriction	2
join-calculus	2
object-calculus	2
aliasing	2
semantics	2
type-inference	2
region-inference	2
oop	2
graphs	2
programming	2
compilers	2
sml	2
intersection-types	2
mobility	2
multicore	2
erlang	2
modules	2
p2p	2
cml	1
combinators	1
parsing	1
proof-theory	1
multi-stage-programming	1
dotnet	1
process-algebras	1
hindley-milner	1
data-structures	1
algebra	1
c	1
ocaml	1
laziness	1
temporal-logic	1
adt	1
floating-point	1
atomicity	1
generational	1
substructural-logics	1
reactive	1
ccs	1
dsl	1
topology	1
coalgebra	1
records	1
type-classes	1
existential-types	1
separation-logic	1
fsharp	1
system-f	1
pattern-matching	1
views	1
constraint-programming	1
grids	1
linda	1
coordination-languages	1
fold	1
featherweight-java	1
abstraction	1
concurrent	1
formal-methods	1
model-checking	1
smt	1

tautologico's Hudak:P [5 articles] Export

tautologico's tags