tautologico's effects [16 articles] Export

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

	Types for safe locking: Static race detection for Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 207-255. by Martin Abadi, Cormac Flanagan, Stephen N. Freund posted to concurrency effects types by tautologico on 2007-10-23 19:32:41 as
	Monads and Effects [My Copy] (2000) by Nick Benton, John Hughes, Eugenio Moggi posted to effects monads by tautologico on 2005-10-13 21:31:32 as along with 4 people MartinSchuerrer draganigajic JeffreyPalmer glaubersp
	A Modal Language for Effects [My Copy] by Sungwoo Park, Robert Harper posted to effects by tautologico on 2005-10-13 19:34:56 as along with 2 people and 1 group twleung dherman NU-PRL
	Computational Effects and Operations: An Overview [My Copy] by Gordon Plotkin, John Power posted to effects by tautologico on 2005-10-10 05:20:07 as along with 2 people zednenem glaubersp
	Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets [My Copy] by Jean P. Talpin posted to effects types by tautologico on 2005-10-09 04:58:55 as
	Polymorphic Type Region and Effect Inference [My Copy] No. EMP-CRI E/150. (1991) by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-10-09 04:31:14 as along with 2 people bdauvergne glaubersp
	Algebraic reconstruction of types and effects [My Copy] In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 303-310. by Pierre Jouvelot, David Gifford posted to effects region-inference types by tautologico on 2005-07-25 18:57:08 as along with 1 person and 1 group samth NU-PRL
	Reasoning about continuations with control effects [My Copy] In PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, Vol. 24, No. 7. (July 1989), pp. 218-226. by P. Jouvelot, D. K. Gifford posted to continuations effects by tautologico on 2005-07-25 18:44:04 as along with 4 people and 1 group samth twleung dherman dsilva NU-PRL
	Type and Effect Systems [My Copy] Correct System Design (1999), pp. 114-136. by Flemming Nielson, Hanne Nielson posted to effects types by tautologico on 2005-06-27 00:39:55 as
	Integrating functional and imperative programming [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 28-38. by David K. Gifford, John M. Lucassen posted to effects types by tautologico on 2005-06-26 16:59:01 as
	The marriage of effects and monads [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 63-74. by Philip Wadler posted to effects monads types by tautologico on 2005-06-26 16:49:48 as
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted to effects types by tautologico on 2005-06-26 16:46:42 as along with 6 people and 1 group ama08r assnoodles samth twleung pnkfelix bfraser NU-PRL
	The Type and Effect Discipline [My Copy] In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California (1992), pp. 162-173. by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-06-26 16:41:42 as along with 1 person bdauvergne
	The marriage of effects and monads [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74. by Philip Wadler posted to effects monads by tautologico on 2005-03-20 05:13:59 as along with 6 people and 1 group sourada twleung dherman cedricboidin ben_moseley scis0000001 NU-PRL
	Linearly Used Eects: [My Copy] by Monadic A. Cps posted to effects linearity by tautologico on 2005-03-20 05:10:06 as along with 1 person and 1 group dherman NU-PRL
	Intersection types and computational effects [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 198-208. by Rowan Davies, Frank Pfenning posted to effects intersection-types type-theory types by tautologico on 2005-03-19 03:54:57 as along with 1 person pnkfelix

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

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
haskell	11
linear-logic	11
ml	11
stm	11
lambda-calculus	10
dependent-types	7
linear-types	7
languages	6
lazy	6
logic	6
typed-assembly-language	6
cyclone	5
dynamic-types	5
logic-programming	5
pi-calculus	5
category-theory	4
intensional-types	4
lock-free	4
pcc	4
petri-nets	4
arrows	3
coinduction	3
continuations	3
java	3
jvm	3
partial-evaluation	3
prolog	3
aliasing	2
compilers	2
erlang	2
graphs	2
intersection-types	2
join-calculus	2
mobility	2
modules	2
multicore	2
object-calculus	2
oop	2
p2p	2
programming	2
region-inference	2
semantics	2
sml	2
type-inference	2
value-restriction	2
abstraction	1
adt	1
algebra	1
atomicity	1
c	1
ccs	1
cml	1
coalgebra	1
combinators	1
concurrent	1
constraint-programming	1
coordination-languages	1
data-structures	1
dotnet	1
dsl	1
existential-types	1
featherweight-java	1
floating-point	1
fold	1
formal-methods	1
fsharp	1
generational	1
grids	1
hindley-milner	1
laziness	1
linda	1
model-checking	1
multi-stage-programming	1
ocaml	1
parsing	1
pattern-matching	1
process-algebras	1
proof-theory	1
reactive	1
records	1
separation-logic	1
smt	1
substructural-logics	1
system-f	1
temporal-logic	1
topology	1
type-classes	1
views	1

tautologico's effects [16 articles] Export

tautologico's tags