tautologico's linearity [15 articles] Export

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

	“Use-once” variables and linear objects: storage management, reflection and multi-threading [My Copy] SIGPLAN Not., Vol. 30, No. 1. (January 1995), pp. 45-52. by Henry G. Baker posted to linearity by tautologico on 2006-03-11 16:28:13 as
	Low-level linear memory management [My Copy] (2002) by C. Hawblitzel, H. Huang, E. Krupski, E. Wei posted to linearity memory-management by tautologico on 2005-07-27 00:21:28 as
	Reference Counting as a Computational Interpretation of Linear Logic [My Copy] Journal of Functional Programming, Vol. 6, No. 2. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted to linear-logic linearity memory-management reference-counting by tautologico on 2005-07-15 21:14:06 as
	Lively linear Lisp: “look ma, no garbage!” [My Copy] SIGPLAN Not., Vol. 27, No. 8. (August 1992), pp. 89-98. by Henry G. Baker posted to linearity memory-management by tautologico on 2005-07-15 21:07:01 as along with 2 people rwtodd dsilva
	Adoption and Focus: Practical Linear Types for Imperative Programming [My Copy] In Proceedings of the SIGPLAN'02 Conference on Programming Language Design and Implementation (Jun 2002) by M. Fähndrich, R. Deline posted to linear-types linearity types by tautologico on 2005-03-24 18:41:36 as
	On Regions and Linear Types [My Copy] In International Conference on Functional Programming (2001), pp. 181-192. by David Walker, Kevin Watkins posted to linear-types linearity memory-management regions by tautologico on 2005-03-24 06:23:44 as along with 1 person tomatoplan
	Call-by-name, call-by-value, call-by-need, and the linear lambda calculus [My Copy] (1995) by M. A. R. A. I. S. T. Maraist, O. D. E. R. S. K. Y. Odersky, T. U. R. N. E. R. Turner, W. A. D. L. E. R. Wadler posted to lambda-calculus linear-logic linearity by tautologico on 2005-03-23 02:09:05 as along with 1 person and 1 group dherman NU-PRL
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted to lambda-calculus linear-types linearity monads by tautologico on 2005-03-23 02:08:08 as along with 4 people and 1 group dherman glaubersp ds kozima NU-PRL
	Operational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248. by David N. Turner, Philip Wadler posted to linear-logic linearity by tautologico on 2005-03-23 02:07:28 as along with 3 people and 1 group Scis0000002 dherman ds NU-PRL
	A Taste of Linear Logic [My Copy] In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993) by P. L. Wadler posted to linear-logic linearity by tautologico on 2005-03-23 02:05:25 as along with 3 people and 1 group pedagand twleung dherman NU-PRL
	Is there a use for linear logic? [My Copy] In PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 26, No. 9. (September 1991), pp. 255-273. by Philip Wadler posted to linear-logic linearity by tautologico on 2005-03-23 02:04:19 as along with 3 people and 1 group twleung dherman rwtodd NU-PRL
	There's no substitute for linear logic [My Copy] (December 1991) by P. Wadler posted to linear-logic linearity by tautologico on 2005-03-23 02:03:16 as along with 3 people and 1 group twleung dherman JacquesC NU-PRL
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted to linear-types linearity types by tautologico on 2005-03-23 02:01:02 as along with 11 people and 2 groups draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw bfraser robennals ds mcclurmc NU-PRL Lambda the Ultimate
	Once upon a type [My Copy] In Functional Programming Languages and Computer Architecture (1995) by David N. Turner, Philip Wadler, Christian Mossin posted to linearity type-theory types by tautologico on 2005-03-20 05:13:11 as along with 7 people and 3 groups dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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

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

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 linearity [15 articles] Export

tautologico's tags