jrw's lisp [43 articles] Export

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

	LISP - Notes on its Past and Future [My Copy] In Conference Record of the 1980 LISP Conference, Stanford University (1980) by J. Mccarthy posted to computation fun functional languages lisp by jrw on 2007-08-16 19:04:49 as along with 4 people pirapira hamish ansobol bunge
	How to be correct, lazy and efficient ? [My Copy] (25 Jul 2007) by Catherine Recanati posted to computation functional languages lisp by jrw on 2007-07-26 21:55:43 as along with 1 person hamish
	Programming Languages and Lambda Calculi [My Copy] posted to computation functional languages lisp by jrw on 2006-07-10 22:16:04 as along with 1 person and 1 group rgb pileWorks
	Tutorial on Good Lisp Programming Style [My Copy] (10 August 1993) by Peter Norvig posted to computation fun functional languages lisp by jrw on 2006-06-12 21:25:06 as along with 2 people ansobol pintman
	Recursion is a computational effect [My Copy] (2000) by D. Friedman, A. Sabry posted to algorithms computation functional haskell languages lisp by jrw on 2006-06-06 03:21:05 as along with 4 people and 2 groups twleung dherman JacquesC greenrd NU-PRL SRG_at_UCD
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted to computation functional languages lisp by jrw on 2006-06-06 02:25:39 as along with 5 people and 1 group twleung dherman hamish ryanc dfisher NU-PRL
	Practical Common Lisp [My Copy] (06 September 2004) by Peter Seibel posted to computation functional languages lisp by jrw on 2006-05-25 22:25:28 as along with 6 people hamish pdlug ujh pintman mbeautru BastianSpanneberg
	Continuations, proofs and tests [My Copy] (9 May 2006) by Stefano Guerrini, Andrea Masini posted to computation functional languages lisp logic mathematics by jrw on 2006-05-16 20:38:58 as along with 1 person greg_restall
	Condition Handling in the Lisp Language Family [My Copy] In Advances in Exception Handling Techniques, Vol. 2022 (2001) by Kent M. Pitman edited by A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi posted to computation fun functional languages lisp by jrw on 2006-05-15 21:40:11 as along with 1 person hamish
	Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. [My Copy] by Luc Duponcheel posted to algorithms category-theory computation fun functional languages lisp printed by jrw on 2006-05-15 21:34:54 as along with 1 person zednenem
	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 algorithms computation functional languages lisp by jrw on 2006-05-08 21:49:00 as along with 6 people and 1 group dherman JacquesC rwtodd cedricboidin tautologico kat NU-PRL
	Pragmatic parsing in Common Lisp; or, putting <italic>defmacro</italic> on steroids [My Copy] SIGPLAN Lisp Pointers, Vol. IV, No. 2. (1991), pp. 3-15. by Henry G. Baker posted to algorithms computation functional languages lisp by jrw on 2006-03-13 23:24:17 as along with 2 people hamish JeffreyPalmer
	Architectures for intelligent systems [My Copy] IBM Systems Journal, Vol. 41, No. 3. (2002), pp. 331-349. by John F. Sowa posted to ai computation functional languages lisp logic by jrw on 2006-03-13 23:22:32 as along with 1 person hamish
	A critique of common LISP [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 1-8. by Rodney A. Brooks, Richard P. Gabriel posted to computation functional languages lisp by jrw on 2006-03-13 23:15:46 as along with 3 people hamish JeffreyPalmer proportional
	Structure and Interpretation of Classical Mechanics [My Copy] (2001) by Gerald J. Sussman, Jack Wisdom posted to computation fun functional languages lisp physics by jrw on 2006-03-01 20:21:07 as along with 2 people pintman proportional
	Functional design of computers [My Copy] Commun. ACM, Vol. 4, No. 9. (September 1961) by Robert S. Barton posted to computation functional languages lisp by jrw on 2006-03-01 20:19:03 as along with 2 people hamish proportional
	A Memory Allocation Profiler for C and Lisp Programs [My Copy] In Proceedings for the Summer 1988 USENIX Conference (1998), pp. 223-237. by Benjamin Zorn, Paul Hilfinger, Kinson Ho, James R. Larus posted to algorithms computation data-structures functional languages lisp by jrw on 2006-02-20 00:13:33 as along with 1 person and 1 group lafondseb TUCS-ES_Lab
	Concrete Abstractions An Introduction to Computer Science Using Scheme [My Copy] (1999) by Max Hailperin, Barbara Kaiser, Karl Knight posted to computation functional languages lisp by jrw on 2006-02-16 20:25:56 as along with 1 person pintman
	Compiling Lazy Functional Languages: An introduction [My Copy] by Thomas Johnsson posted to algebra algorithms category-theory computation fun functional languages lisp mathematics by jrw on 2006-02-13 20:28:07 as along with 4 people tautologico Benja ajk ds
	ΓCMC: A Novel Way of Compiling Functional Languages [My Copy] No. 19-92*. (July 1992) by Rafael D. Lins, Bruno O. Lira posted to algebra algorithms category-theory computation fun functional languages lisp mathematics printed by jrw on 2006-02-13 20:25:18 as along with 3 people and 1 group JeffreyPalmer tautologico aleks Compilers
	User-Level Language Crafting [My Copy] In Object-Oriented Programming : the CLOS perspective (1993), pp. 66-99. by A. Paepcke posted to computation functional languages lisp by jrw on 2006-02-07 20:33:46 as along with 5 people egh hamish JeffreyPalmer damaru eblood
	The art of metaprogramming, Part 2: Metaprogramming using Scheme [My Copy] (26 January 2006) by Jonathan Bartlett posted to computation functional languages lisp by jrw on 2006-02-07 20:27:23 as along with 1 person pintman
	The art of metaprogramming, Part 1: Introduction to metaprogramming [My Copy] (20 October 2005) by Jonathan Bartlett posted to computation languages lisp by jrw on 2006-02-07 20:25:51 as along with 1 person pintman
	Lisp -- Almost a whole Truth [My Copy] No. LIX/RR/89/03, 79--106. (1989) by Christian Queinnec posted to computation functional languages lisp by jrw on 2006-02-07 20:19:20 as along with 6 people and 1 group marcoil hamish JeffreyPalmer numata rahul damaru SRL
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted to computation functional languages lisp by jrw on 2006-02-07 03:16:42 as along with 9 people and 1 group mattmight assnoodles samth JeffreyPalmer bdauvergne damaru ryanc tov jkominek NU-PRL
	Some Useful Lisp Algorithms: Part 2 [My Copy] by Richard C. Waters posted to computation functional languages lisp by jrw on 2006-02-07 02:06:04 as along with 7 people and 1 group hamish JeffreyPalmer ansobol pdlug rahul damaru jkominek SRL
	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I [My Copy] Communications of the ACM, Vol. 3, No. 4. (1960), pp. 184-195. by John L. Mccarthy posted to computation functional languages lisp by jrw on 2006-02-07 02:04:30 as along with 4 people dsilva pintman calvins d23
	Dynamically Scoped Functions for Runtime Modification [My Copy] by Pascal Costanza posted to computation fun functional languages lisp printed by jrw on 2006-02-03 00:18:51 as along with 2 people and 1 group dherman alec NU-PRL
	A Syntactic Theory of Dynamic Binding [My Copy] In International Joint Conference on Theory and Practice of Software Development (TAPSOFT/{FASE}'97), Vol. 1214 (apr 1997), pp. 727-741. by Luc Moreau posted to computation functional languages lisp by jrw on 2006-02-03 00:14:31 as along with 2 people and 1 group dherman alec NU-PRL
	META LISP and META PLUS:: Tools for rapidly implementing extendable language translators [My Copy] In SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation (1971) by R. D. Jenks posted to computation functional languages lisp by jrw on 2006-01-18 20:02:08 as along with 1 person hamish
	Polymorphic string matching [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 110-115. by Richard S. Bird posted to computation functional languages lisp by jrw on 2005-12-12 19:35:07 as along with 3 people and 1 group rgrig greenrd vidal31 SRG_at_UCD
	Continuations and coroutines [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 293-298. by Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand posted to computation functional languages lisp by jrw on 2005-12-12 19:33:37 as along with 1 person and 1 group rgrig SRG_at_UCD
	Foundational Calculi for Programming Languages [My Copy] In The Computer Science and Engineering Handbook (1997) by Benjamin Pierce edited by Allen B. Tucker posted to computation functional languages lisp by jrw on 2005-10-26 20:26:29 as along with 9 people and 4 groups snowman rgrig rwtodd cedricboidin pintman sjgaller mrkoot mfrydr ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic
	A tutorial on the universality and expressiveness of fold [My Copy] by Graham Hutton posted to computation fun functional languages lisp by jrw on 2005-10-06 19:19:29 as along with 1 person MattOConnor
	Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks [My Copy] by Bruce Mcadam posted to algorithms computation fun functional languages lisp by jrw on 2005-09-29 21:24:31 as along with 3 people and 1 group rgrig kinaba pedagand SRG_at_UCD
	Functional Data Structures [My Copy] In The Second International Summer School on Advanced Functional Programming Techniques (August 1996) by Chris Okasaki posted to computation data-structures functional lisp by jrw on 2005-09-12 21:56:34 as along with 8 people puzza jweslley JeffreyPalmer MattOConnor damaru meiersi iff eblood
	Function level programs as mathematical objects [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (1981), pp. 1-10. by John Backus posted to computation functional languages lisp mathematics by jrw on 2005-08-05 20:48:15 as along with 1 person hamish
	Design of a LISP-based microprocessor [My Copy] Commun. ACM, Vol. 23, No. 11. (November 1980), pp. 628-645. by Guy L. Steele, Gerald J. Sussman posted to computation functional languages lisp by jrw on 2005-08-05 20:44:23 as along with 2 people NickGasson hamish
	Highlights of the history of the lambda-calculus [My Copy] In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225. by Barkley J. Rosser posted to computation functional languages lisp by jrw on 2005-08-05 20:32:25 as along with 9 people and 1 group hamish rahul voigt damaru pintman wadler ben_moseley bunge ds SRL
	Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO [My Copy] In ACM '77: Proceedings of the 1977 annual conference (1977), pp. 153-162. by Guy L. Steele posted to computation functional languages lisp by jrw on 2005-08-03 21:55:10 as along with 1 person hamish
	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269. by Olin Shivers posted to computation control-flow functional languages lisp by jrw on 2005-07-14 19:55:34 as along with 4 people and 1 group samth dsilva pejo tov NU-PRL
	Crystal Scheme A Language for Massively Parallel Machines [My Copy] by Christian Queinnec posted to computation functional languages lisp by jrw on 2005-06-27 21:50:17 as along with 2 people hamish zzkt
	The evolution of Lisp [My Copy] In The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 231-270. by Guy Steele, Richard P. Gabriel posted to computation functional languages lisp by jrw on 2005-06-16 19:51:19 as along with 7 people and 1 group egh samth dherman hamish zzkt 4vgacias jkominek NU-PRL

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

physics	1514
quantum	1282
mathematics	1139
computation	638
quantum-information	479
quantum-computation	417
algebra	385
geometry	381
printed	363
category-theory	352
quantum-gravity	298
algorithms	285
languages	247
networks	210
fun	189
graphs	186
combinatorics	148
logic	134
functional	112
group-theory	96
classical-gravity	86
data-structures	65
experiment	62
permutations	51
gravity	50
information-theory	47
automata	46
lisp	43
causal-networks	41
endorsements	35
symmetry	33
bayesian	31
haskell	28
ai	26
history	26
knots	26
quantum-cosmology	26
string-theory	26
statistical-mechanics	25
blackholes	24
braids	21
relational-physics	21
thesis	18
number-theory	15
philosophy	12
topos-theory	12
concurrency	11
erlang	9
biology	8
process-networks	8
analysis	6
economics	6
coalgebra	5
dataflow	5
cosmology	4
brain	3
control-flow	3
galois-theory	3
lectures	3
process-physics	3
quantum-field-theory	3
representations	3
essay	2
policy	2
science	2
complexity	1
education	1
gauge-theory	1
groupoids	1
ml	1
operads	1
writing	1

jrw's lisp [43 articles] Export

jrw's tags