zednenem's concurrency [11 articles] Export

Recent papers added to zednenem's library classified by the tag concurrency. You can also see everyone's concurrency.

	Implementing Distributed Systems Using Linear Naming [My Copy] No. AITR-1627. (1993) by Alan Bawden posted to concurrency by zednenem on 2007-08-30 07:06:50 as along with 1 person and 1 group dherman NU-PRL
	Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems [My Copy] (2001) by J. Regehr posted to concurrency by zednenem on 2007-08-01 05:25:37 as
	Type-Directed Concurrency [My Copy] by Deepak G. And posted to concurrency type-system type-theory by zednenem on 2007-03-28 02:39:55 as along with 2 people jrw harshrc
	Reactive Objects for Haskell [My Copy] In Informal proceedings of the Fifth Symposium on Trends in Functional Languages (TFP 2004). (November 2004) by Stefan Heimann, Matthias Neubauer posted to oop haskell concurrency by zednenem on 2007-01-10 00:49:40 as along with 2 people jrw AndreasSchropp
	Continuations for parallel logic programming [My Copy] In Principles and Practice of Declarative Programming (2000), pp. 257-267. by Eneia Todoran, Nikolaos Papaspyrou posted to concurrency haskell logic-programming by zednenem on 2006-06-02 19:16:56 as along with 1 person scis0000001
	A language-based approach to unifying events and threads [My Copy] by Peng Li, Steve Zdancewic posted to concurrency continuations events haskell by zednenem on 2006-05-30 15:35:42 as along with 1 person jrw
	Escaping the event loop: an alternative control structure for multi-threaded GUIs [My Copy] In EHCI (1995), pp. 69-87. by M. Fuchs posted to concurrency continuations gui by zednenem on 2006-05-20 17:53:05 as along with 5 people hamish JeffreyPalmer dsilva conal danlentz
	Asynchronous Exceptions in Haskell [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285. by Simon Marlow, Simon, Andrew Moran, John H. Reppy posted to concurrency exceptions haskell by zednenem on 2005-09-09 16:52:21 as along with 3 people JeffreyPalmer kinaba neuralwarp
	Imperative streams--a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
	Cheap (But Functional) Threads [My Copy] by William L. Harrison posted to concurrency monads resumptions by zednenem on 2005-08-07 17:36:34 as along with 2 people and 1 group dalev JeffreyPalmer NU-PRL
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to category-theory concurrency monads by zednenem on 2005-08-05 19:01:41 as along with 9 people and 1 group puzza dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/zednenem/tag/concurrency

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

zednenem's concurrency [11 articles] Export

zednenem's tags