EdwardKmett's library 29 articles Export

Ordered by to_read.

	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to calculus lambda monads by EdwardKmett on 2006-08-18 12:06:17 as along with 10 people and 1 group kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks Benja mcclurmc Compilers
	Modules over monads and lambda-calculi [My Copy] by Hirschowitz posted to calculus lambda monads pure systems type by EdwardKmett on 2006-08-18 11:11:46 as along with 1 person dmitri83
	Declarative Continuations and Categorical Duality [My Copy] (1989) by Andrzej Filinski posted to calculus lambda symmetric by EdwardKmett on 2006-08-17 20:30:53 as
	The origins of structural operational semantics [My Copy] (2003) by G. Plotkin posted to operational semantics by EdwardKmett on 2006-08-18 11:45:15 as along with 1 person and 1 group dherman NU-PRL
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted to comonads semantics by EdwardKmett on 2006-08-18 11:43:27 as along with 6 people and 1 group dherman jrw zednenem msakai dmitri83 meiersi NU-PRL
	Linear Continuations [My Copy] In Conference Record of the Nineteenth Annual ACM {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (1992), pp. 27-38. by Andrzej Filinski posted to continuations linear by EdwardKmett on 2006-08-18 04:03:41 as
	various papers on process categories [My Copy] by Dave Spooner posted to category-theory process by EdwardKmett on 2006-08-25 09:45:05 as
	A Relevant Analysis of Natural Deduction [My Copy] Journal of Logic and Computation, Vol. 8, No. 6. (1998), pp. 809-838. by Samin S. Ishtiaq, David J. Pym posted to dependent linear logic types by EdwardKmett on 2006-08-21 02:01:13 as
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to comonads by EdwardKmett on 2006-08-18 12:01:07 as along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs voigt msakai SRG_at_UCD
	A Lambda Calculus for Quantum Computation [My Copy] (3 April 2004) by Andre v. van Tonder posted to calculus computation lambda quantum by EdwardKmett on 2006-08-18 11:07:58 as along with 3 people jrw tov bendiken
	On Affine Typing and Completeness of CPS [My Copy] by Josh Berdine, Peter W. O'Hearn, Hayo Thielecke posted to continuations linear by EdwardKmett on 2006-08-18 04:02:44 as along with 2 people network03 blog01
	Linear Continuation-Passing [My Copy] by Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke posted to continuations linear by EdwardKmett on 2006-08-18 04:01:45 as
	Linear Continuation-Passing [My Copy] by Josh Berdine, Peter O'Hearn posted to continuations linear by EdwardKmett on 2006-08-18 04:01:16 as
	A Constructive Restriction of the $λμ$-Calculus [My Copy] (1999) by Tristan Crolard posted to category-theory by EdwardKmett on 2006-08-17 20:20:56 as
	A Typed Lambda Calculus with Categorical Type Constructors [My Copy] In Category Theory and Computer Science (1987), pp. 140-157. by Tatsuya Hagino posted to calculus category-theory lambda pay-to-read by EdwardKmett on 2006-08-18 12:08:16 as along with 1 person msakai
	A Survey of Definitions of n-Category [My Copy] (25 Jul 2001) by Tom Leinster posted to category-theory n-categories by EdwardKmett on 2006-08-18 12:05:20 as along with 2 people jrw kaqui
	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code [My Copy] Generative Programming and Component Engineering (2005) by Jacques Carette, Oleg Kiselyov posted to monads multi-stage by EdwardKmett on 2006-08-18 11:59:38 as along with 4 people and 1 group dherman JeffreyPalmer zednenem ryanc NU-PRL
	Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation [My Copy] Thirty Five Years of Automating Mathematics (2003) by Gérard Huet edited by Fairouz Kamareddine posted to contexts linear by EdwardKmett on 2006-08-18 11:51:35 as along with 5 people and 3 groups dherman eaubin JacquesC zednenem namin NU-PRL functional programming Lambda the Ultimate
	From dynamic binding to state via modal possibility [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 207-218. by Aleksandar Nanevski posted to modal possibility by EdwardKmett on 2006-08-18 11:48:14 as along with 2 people and 1 group dherman alec 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 monads threading by EdwardKmett on 2006-08-18 11:38:56 as along with 9 people and 1 group puzza dalev jrw zednenem bfraser dmitri83 jsala neuralwarp ps_ttf NU-PRL
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted to templating by EdwardKmett on 2006-08-18 10:55:07 as along with 4 people jrw zednenem jburnim AndreasSchropp
	A Module Calculus for Pure Type Systems [My Copy] In Proceedings fo the Third International Conference on Typed Lambda Calculus and Applications (TLCA'97) (1997) by Judicael Courant edited by R. Hindley posted to modules pure systems type by EdwardKmett on 2006-08-18 10:51:06 as along with 1 person Benja
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] Applied Categorical Structures, Vol. 13, No. 1. (January 2005), pp. 1-36. by Maietti Maria, Maneggia Paola, Paiva Valeria, Ritter Eike posted to category-theory linear logic pay-to-read by EdwardKmett on 2006-08-18 11:41:14 as along with 1 person adrian_pigors
	Secure Information Flow and CPS [My Copy] Lecture Notes in Computer Science, Vol. 2028 (2001), pp. 46-??. by Steve Zdancewic, Andrew C. Myers posted to continuations information linear security by EdwardKmett on 2006-08-18 04:04:48 as
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted to calculus comonads lambda recursion by EdwardKmett on 2006-10-26 02:06:31 as along with 3 people and 1 group spl greenrd zednenem SRG_at_UCD
	Haskell is not not ML [My Copy] In European Symposium on Programming (2006) by Ben Rudiak-Gould, Alan Mycroft, Simon P. Jones posted to lambda logic symmetric type calculus duality by EdwardKmett on 2006-09-04 13:34:09 as along with 4 people gologo13 zednenem josefs scook0
	Comonadic functional attribute evaluation [My Copy] by Tarmo Uustalu, Varmo Vene posted to comonads by EdwardKmett on 2006-08-18 11:44:04 as along with 5 people and 2 groups spl dherman greenrd jrw zednenem NU-PRL SRG_at_UCD
	A Syntax for Linear Logic [My Copy] In Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, LA, {USA}, Proceedings, Vol. 802 (1993), pp. 513-529. by Philip Wadler edited by S. Brookes, M. Main, A. Melton, M. Mislove, D. Schmidt posted to linear logic by EdwardKmett on 2006-08-18 04:06:11 as along with 1 person glaubersp
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted to category-theory by EdwardKmett on 2006-08-17 20:19:23 as along with 2 people and 1 group msakai dherman NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/EdwardKmett/order/to_read

linear	9
calculus	7
category-theory	7
lambda	7
continuations	5
comonads	4
logic	4
monads	4
type	3
pay-to-read	2
pure	2
semantics	2
symmetric	2
systems	2
computation	1
contexts	1
dependent	1
duality	1
information	1
modal	1
modules	1
multi-stage	1
n-categories	1
operational	1
possibility	1
process	1
quantum	1
recursion	1
security	1
templating	1
threading	1
types	1

EdwardKmett's library 29 articles Export

EdwardKmett's tags