tov's concurrency [11 articles] Export

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

	Verifying correct usage of atomic blocks and typestate [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to substructural pl concurrency by tov on 2009-09-17 00:30:05 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Reentrant polygon clipping [My Copy] Commun. ACM, Vol. 17, No. 1. (January 1974), pp. 32-42. by Ivan E. Sutherland, Gary W. Hodgman posted to concurrency icfp08 pl by tov on 2008-03-27 11:49:57 as along with 1 person denizinho
	CML: A higher concurrent language [My Copy] In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, Vol. 26, No. 6. (June 1991), pp. 293-305. by John H. Reppy posted to concurrency icfp08 ml pl types by tov on 2008-03-27 11:49:17 as along with 1 person dsilva
	Continuations and transducer composition [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 295-307. by Olin Shivers, Matthew Might posted to concurrency icfp08 pl by tov on 2008-03-27 11:48:09 as along with 1 person mattmight
	Concurrent Programming in ML [My Copy] (1999) by John H. Reppy posted to concurrency haskell icfp08 ml pl by tov on 2008-03-27 10:52:17 as
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\text{rd}$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (February 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:49:23 as along with 8 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip calvins conal
	Session types for inter-process communication [My Copy] (2003) by S. Gay, V. Vasconcelos, A. Ravara posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:45:19 as along with 1 person ama08r
	Types and Subtypes for Client-Server Interactions [My Copy] In ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems (1999), pp. 74-90. by Simon J. Gay, Malcolm Hole posted to concurrency icfp08 pl types by tov on 2008-03-27 10:43:59 as
	An implementation of session types [My Copy] (2004) by M. Neubauer, P. Thiemann posted to concurrency haskell icfp08 types by tov on 2008-01-11 20:20:15 as along with 2 people ama08r keigoi
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to concurrency haskell pl types by tov on 2007-10-19 22:33:40 as along with 2 people conal americovargas
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted to concurrency erlang pl by tov on 2007-04-01 00:39:08 as along with 7 people and 3 groups ama08r tautologico dherman bfraser keigoi janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate

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

pl	91
types	46
haskell	24
icfp08	23
parproj	15
scheme	15
compilers	13
typeclasses	12
concurrency	11
history	11
records	9
control	7
quantum	7
macros	4
ml	4
substructural	3
apl	2
java	2
logic	2
mine	2
contexts	1
erlang	1
shcaml	1
syntax	1

tov's concurrency [11 articles] Export

tov's tags