tautologico's Wadler:P [11 articles] Export

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

	A Call-by-Need Lambda Calculus [My Copy] In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246. by Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler posted to lambda-calculus lazy by tautologico on 2006-05-05 19:28:40 as along with 6 people and 1 group dherman JacquesC rwtodd jrw cedricboidin kat NU-PRL
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted to languages by tautologico on 2005-12-31 00:04:01 as along with 9 people and 1 group ama08r claudiamichelle jkominek spl tarampam samth dherman croys ben_moseley NU-PRL
	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
	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
	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
	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

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/author/Wadler: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 Wadler:P [11 articles] Export

tautologico's tags