pile's library 35 articles Export Sort

Ordered by to_read.

Hide details

	A class of algorithms which require nonlinear time to maintain disjoint sets [My Copy] Journal of Computer and System Sciences, Vol. 18, No. 2. (April 1979), pp. 110-127. by Robert E. Tarjan posted to 2008-11-29 ub by pile on 2008-11-29 13:35:04 as along with 1 person AbnerCYH
	An axiomatic explanation of complete self-reproduction [My Copy] Bulletin of Mathematical Biology, Vol. 30, No. 3. (1968), pp. 415-425. by Lars Löfgren posted to axiomatizability explanation formalizability self-explanation self-reproduction bibtex-import by pile on 2007-08-22 14:48:40 as
	Space is the Place [My Copy] Thesis Eleven, Vol. 88, No. 1. (2007), pp. 8-30. by Michael Schiltz posted to no-tag by pile on 2007-03-27 09:09:40 as
	The engineering of vision and the aesthetics of computer art [My Copy] SIGGRAPH Comput. Graph., Vol. 28, No. 4. (November 1994), pp. 259-263. by Lev Manovich posted to to-do_examine by pile on 2006-11-14 08:56:11 as
	Semiotics and levels of representation in complex information processing systems [My Copy] Intelligent Control (ISIC), 1998. Held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), Intelligent Systems and Semiotics (ISAS), Proceedings of the 1998 IEEE International Symposium on (1998), pp. 863-868. by J. G. Meunier posted to fernleihe by pile on 2006-11-13 11:08:42 as along with 2 people and 2 groups garyfeng rgb ReadingLab pileWorks
	Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem [My Copy] Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392. by N. G. de Bruijn posted to fernleihe by pile on 2006-11-02 17:52:50 as along with 3 people keigoi alec tov
	Definability and decision problems in arithmetic [My Copy] The journal of symbolic logic, Vol. 14 (1949), pp. 98-114. by Julia Robinson posted to rgb by pile on 2006-10-17 18:38:47 as
	The Evolution of Norms [My Copy] PLoS Biol, Vol. 3, No. 6. (14 June 2005), e194. by Paul R. Ehrlich, Simon A. Levin posted to to-do_examine by pile on 2006-10-17 07:53:23 as along with 7 people and 3 groups fishinweb kerim baronka mattjb livingthingdan bastintonyroy adriandefroment ComplexAdaptiveSystems DSTO-CAS livingthing
	A new type of complementarity between quantum and classical information [My Copy] (3 Jul 2002) by Jonathan Oppenheim, Karol Horodecki, Michal, Ryszard Horodecki posted to to-do_examine by pile on 2006-10-17 07:38:25 as along with 1 person kevina
	Haskell vs. Ada Vs. C++ vs Awk vs \ldots An Experiment in Software Prototyping Productivity [My Copy] (1994) by Paul Hudak, Mark P. Jones posted to haskell by pile on 2006-10-13 10:28:24 as along with 1 person serebryakov
	The Berry paradox [My Copy] Complexity, Vol. 1 (1995), pp. ?-?. by G. J. Chaitin posted to godel number by pile on 2006-10-10 10:34:19 as
	On Computable Beliefs of Rational Machines [My Copy] Games and Economical Behavior, Vol. 1 (1989), pp. 144-169. by Nimrod Megiddo posted to godel number by pile on 2006-10-10 09:42:39 as
	On Computable Beliefs of Rational Machines [My Copy] Games and Economical Behavior, Vol. 1 (1989), pp. 144-169. by Nimrod Megiddo posted to godel number by pile on 2006-10-10 09:42:25 as
	Modeling Connectionist Networks: Categorical, Geometric Aspects (Towards “Homomorphic Learning”) [My Copy] COMPUTING ANTICIPATORY SYSTEMS: CASYS'03 - Sixth International Conference, Vol. 718, No. 1. (2004), pp. 257-267. by Jochen Pfalzgraf edited by Daniel M. Dubois posted to category-theory pdf_done by pile on 2006-10-06 07:37:42 as along with 1 person scis0000001
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted to pdf_done by pile on 2006-10-06 07:33:20 as along with 10 people and 2 groups olegus kvm samth twleung rgrig JacquesC JeffreyPalmer voigt nominolo americovargas NU-PRL SRG_at_UCD
	Imperative Functional Programming [My Copy] In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to citavi-standorte-done input-output monads by pile on 2006-09-28 11:11:29 as along with 7 people and 1 group samth jacob cedricboidin pintman lomeo jwm0123 glaubersp NU-PRL
	Variations on algebra: Monadicity and generalisations of equational theories [My Copy] (1994) by E. Robinson posted to lueth_02_composing by pile on 2006-09-28 11:08:42 as
	Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms [My Copy] In Category Theory and Computer Science (1987), pp. 114-139. by David E. Rydeheard, John G. Stell posted to lueth_02_composing by pile on 2006-09-28 11:01:25 as
	Notions of Computation Determine Monads [My Copy] In FoSSaCS '02: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to lueth_02_composing by pile on 2006-09-28 11:01:04 as
	Monads and Modularity [My Copy] In FroCoS '02: Proceedings of the 4th International Workshop on Frontiers of Combining Systems (2002), pp. 18-32. by Christoph Lüth, Neil Ghani posted to lueth_02_composing by pile on 2006-09-28 10:58:52 as
	Monads and Modular Term Rewriting [My Copy] In CTCS '97: Proceedings of the 7th International Conference on Category Theory and Computer Science (1997), pp. 69-86. by Christoph Lüth, Neil Ghani posted to lueth_02_composing by pile on 2006-09-28 10:57:28 as
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to lueth_02_composing by pile on 2006-09-28 10:54:24 as along with 7 people and 1 group bulwahn eaubin JacquesC rwtodd cedricboidin oliverh bfraser NU-PRL
	Combining Monads [My Copy] In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143. by David J. King, Philip Wadler posted to lueth_02_composing by pile on 2006-09-28 10:44:26 as along with 2 people christiankissig bulwahn
	Combining Computational Effects: commutativity & sum [My Copy] In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (2002), pp. 474-484. by Martin Hyland, Gordon D. Plotkin, John Power posted to lueth_02_composing by pile on 2006-09-28 10:38:02 as along with 1 person christiankissig
	Abstract Syntax and Variable Binding [My Copy] In LICS '99: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (1999) by Marcelo Fiore, Gordon Plotkin, Daniele Turi posted to lueth_02_composing by pile on 2006-09-28 10:35:26 as
	Algebra of programming [My Copy] (1997) by Richard Bird, Oege de Moor posted to lueth_02_composing by pile on 2006-09-28 10:34:53 as along with 2 people marcinzalewski jpbernardy
	A Dimly Perceived Horizon: The Complex Meeting Ground between Physical and Inner Time [My Copy] Ann NY Acad Sci, Vol. 879, No. 1. (30 June 1999), pp. 143-153. by Francisco J. Varela posted to time by pile on 2006-09-27 07:30:07 as along with 1 person and 1 group rgb pileWorks
	Mobile Ambients [My Copy] In Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98 (1998) by Luca Cardelli, Andrew D. Gordon posted to ambient-calculus by pile on 2006-09-26 14:44:13 as along with 2 people Myren hubyrod
	Equational Properties of Mobile Ambients [My Copy] In Foundations of Software Science and Computation Structure (1999), pp. 212-226. by Andrew D. Gordon, Luca Cardelli posted to ambient-calculus by pile on 2006-09-26 14:42:07 as
	Symmetry and Self-Organization in Complex Systems [My Copy] (12 Sep 2006) by B. D. Macarthur, J. W. Anderson posted to bibtex-export by pile on 2006-09-25 15:10:08 as along with 7 people Kovanen ansobol jrw ddahlem gane5h scis0000001 Langam
	An Advanced C++ Library for Symbolic Computing [My Copy] by Zhiqing L. Department posted to citavi-standorte-done by pile on 2006-09-22 15:27:54 as
	DIAM II: The binary infological level and its database language - FORAL [My Copy] In Proceedings of the 1976 conference on Data : Abstraction, definition and structure (1976), pp. 121-140. by Michael E. Senko posted to citavi-standorte-done by pile on 2006-09-22 14:20:52 as
	On the equivalences of data based systems [My Copy] In FIDET '74: Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control (1975), pp. 43-76. by Edgar H. Sibley posted to citavi-standorte-done by pile on 2006-09-22 13:13:37 as
	Tramp: An interpretive associative processor with deductive capabilities [My Copy] In Proceedings of the 1968 23rd ACM national conference (1968), pp. 143-156. by William L. Ash, Edgar H. Sibley posted to citavi-standorte-done by pile on 2006-09-22 13:01:45 as
	Computational Lambda-Calculus and Monads [My Copy] In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23. by Eugenio Moggi posted to citavi-standorte-done lueth_02_composing by pile on 2006-09-21 12:17:55 as along with 7 people and 1 group jrw cedricboidin tautologico glaubersp mfrydr ds mmarcus complogic

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

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

lueth_02_composing	11
citavi-standorte-done	6
number	3
to-do_examine	3
godel	3
ambient-calculus	2
fernleihe	2
pdf_done	2
input-output	1
monads	1
2008-11-29	1
ub	1
haskell	1
self-explanation	1
formalizability	1
bibtex-import	1
bibtex-export	1
axiomatizability	1
category-theory	1
time	1
rgb	1
self-reproduction	1
explanation	1

pile's library 35 articles Export Sort

pile's tags