amp269's library 28 articles Export Sort

Ordered by to_read.

Hide details

	Proof pearl: The Hoare State Monad [My Copy] In To appear at TPHOLs 2009 by Wouter Swierstra posted to no-tag by amp269 on 2009-05-14 00:44:38 as
	Definitional Interpreters for Higher-Order Programming Languages [My Copy] Higher-Order and Symbolic Computation, Vol. 11, No. 4. (1998), pp. 363-397. by John C. Reynolds posted to no-tag by amp269 on 2008-10-02 03:49:33 as along with 1 person bhoward
	Category Theory for Program Construction by Calculation [My Copy] (September 1995) by Lambert Meertens posted to no-tag by amp269 on 2009-02-05 03:54:30 as along with 1 person pedagand
	Semantics of transactional memory and automatic mutual exclusion [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 63-74. by Mart'in Abadi, Andrew Birrell, Tim Harris, Michael Isard posted to no-tag by amp269 on 2009-01-21 15:41:36 as along with 5 people fvogels ama08r bhoward brecknell pedagand
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted to no-tag by amp269 on 2008-12-19 22:38:59 as along with 7 people and 1 group noam_zeilberger bhoward twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	The Mechanical Evaluation of Expressions [My Copy] The Computer Journal, Vol. 6, No. 4. (1 January 1964), pp. 308-320. by P. J. Landin posted to no-tag by amp269 on 2008-11-30 01:33:08 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Recursive data structures [My Copy] International Journal of Parallel Programming, Vol. 4, No. 2. (1 June 1975), pp. 105-132. by C. A. R. Hoare posted to no-tag by amp269 on 2008-10-17 00:00:35 as along with 1 person GuAlex
	Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted to no-tag by amp269 on 2008-10-09 20:45:28 as along with 12 people brothers draganigajic pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
	On the Relation between Direct and Continuation Semantics [My Copy] In Proceedings of the 2nd Colloquium on Automata, Languages and Programming (1974), pp. 141-156. by John C. Reynolds posted to no-tag by amp269 on 2008-10-03 23:29:37 as
	Metacomputation-based compiler architecture [My Copy] In In Mathematics of Program Construction (2000, Vol. 1837 (2000), pp. 213-229. by William L. Harrison, Samuel N. Kamin posted to no-tag by amp269 on 2008-10-02 04:28:48 as
	Call-by-Name, Call-by-Value and the lambda-Calculus [My Copy] Theor. Comput. Sci., Vol. 1, No. 2. (1975), pp. 125-159. by Gordon D. Plotkin posted to no-tag by amp269 on 2008-10-02 04:16:44 as
	Notions of Computation and Monads [My Copy] Inf. Comput., Vol. 93, No. 1. (1991), pp. 55-92. by Eugenio Moggi posted to no-tag by amp269 on 2008-10-02 04:14:49 as
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to no-tag by amp269 on 2008-10-02 03:50:39 as along with 7 people and 1 group fvogels byorgey voigt spl paper_jac robdockins nominolo ConcertRG
	Optimising Embedded DSLs Using Template Haskell [My Copy] (2004) by Sean Seefried, Manuel Chakravarty, Gabriele Keller posted to no-tag by amp269 on 2009-05-14 00:41:21 as
	Semantics of Memory Management for Polymorphic Languages [My Copy] In Higher Order Operational Techniques in Semantics, Publications of the Newton Institute (1997), pp. 175-226. by Greg Morrisett, Robert Harper posted to no-tag by amp269 on 2009-04-17 01:55:36 as along with 1 person mgreenbe
	Cayenne---a language with dependent types [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 239-250. by Lennart Augustsson posted to no-tag by amp269 on 2009-01-21 03:41:36 as
	Garbage collection: Java application servers' Achilles heel [My Copy] Sci. Comput. Program., Vol. 70, No. 2-3. (2008), pp. 89-110. by Feng Xian, Witawas S. An, Hong Jiang posted to no-tag by amp269 on 2009-01-20 20:12:21 as
	Partial evaluation of computation process - an approach to a compiler-compiler [My Copy] Systems, Computers, Controls, Vol. 2 (1971), pp. 45-50. by Yoshihiko Futamura posted to no-tag by amp269 on 2009-01-07 19:10:51 as
	An Introduction to the Bird-Meertens Formalism [My Copy] In Proceedings of the First New Zealand Formal Program Development Colloquium (November 1994), pp. 1-12. by Jeremy Gibbons edited by Steve Reeves posted to no-tag by amp269 on 2008-10-09 21:32:53 as
	A theory of type polymorphism in programming [My Copy] Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375. by Robin Milner posted to no-tag by amp269 on 2008-10-03 21:58:33 as along with 8 people robertjohnsimmons azwinkau mattmight jkominek tautologico lyongu calvins shimomura
	The essence of ALGOL [My Copy] (1997), pp. 67-88. by John C. Reynolds posted to no-tag by amp269 on 2008-10-02 04:49:21 as
	Type-directed partial evaluation [My Copy] In Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages (1996), pp. 242-257. by Olivier Danvy posted to no-tag by amp269 on 2008-10-02 04:29:16 as
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted to no-tag by amp269 on 2009-01-21 15:44:09 as along with 25 people and 3 groups ama08r pwais bhoward fukumori gakincho fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand brecknell frej ConcertRG SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	From Interpreter to Logic Engine by Defunctionalization [My Copy] Logic Based Program Synthesis and Transformation (2004), pp. 143-159. by Dariusz Biernacki, Olivier Danvy posted to no-tag by amp269 on 2009-01-07 17:40:54 as
	The Problem with Threads [My Copy] Computer, Vol. 39, No. 5. (2006), pp. 33-42. by E. A. Lee posted to no-tag by amp269 on 2008-10-20 17:35:50 as along with 11 people and 1 group fierykylin jweslley hubris draganigajic scottmoody craigtalbert mdekruijf 7oby pedagand DickSilver dmeister semantic-multicast-routing
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to no-tag by amp269 on 2008-10-02 04:20:35 as
	Making Monads First-class with Template Haskell [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 99-110. by Pericles S. Kariotis, Adam M. Procter, William L. Harrison posted to no-tag by amp269 on 2008-10-02 05:22:49 as
	Asynchronous Exceptions as an Effect [My Copy] In MPC, Vol. 5133 (2008), pp. 153-176. by William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter edited by Philippe Audebaud, Christine P. Mohring, Philippe Audebaud, Christine P. Mohring posted to no-tag by amp269 on 2008-10-02 05:20:32 as

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

amp269's library 28 articles Export Sort

amp269's tags