mmarcus's Top Recommendations

These recommendations were last updated about an hour ago.

	There and Back Again: Arrows for Invertible Programming [My Copy] by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted by 4 people glaubersp conal cognominal SamB
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted by 12 people draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal SRG_at_UCD americovargas pedagand
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted by 14 people pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	Formal methods - selected historical references [My Copy] No. UMCS-92-12-2. (1992) by C. B. Jones, A. M. Mccauley posted by 2 people glaubersp ds
	The Essence of Functional Programming [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14. by Philip Wadler posted by 15 people jrw cedricboidin wasi rahul damaru wadler ben_moseley rgb glaubersp mingguo ds SRL pileWorks SIG donniejones18
	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 by 6 people dherman tautologico glaubersp ds NU-PRL kozima
	Lectures on the Curry-Howard isomorphism [My Copy] (1998) by M. Srensen, P. Urzyczyn posted by 5 people xiemaisi jonathlela ds AS-IIS_ReadingGroup fensef
	An Extended Calculus of Constructions [My Copy] (1990) by Zhaohui Luo posted by 6 people msakai xiemaisi Benja glaubersp Scis0000002 AS-IIS_ReadingGroup
	Functional Differentiation of Computer Programs [My Copy] In International Conference on Functional Programming (1998), pp. 195-203. by Jerzy Karczmarczuk posted by 1 person conal
	Modular Denotational Semantics for Compiler Construction [My Copy] In Programming Languages and Systems -- ESOP'96, Proc. 6th European Symposium on Programming, Link{\"{o}}ping, Vol. 1058 (1996), pp. 219-234. by Sheng Liang, Paul Hudak posted by 1 person conal
	A Short Cut to Deforestation [My Copy] In Conference on Functional Programming Languages and Computer Architecture (June 1993), pp. 223-232. by Andrew Gill, John Launchbury, Simon posted by 2 people conal americovargas
	Type Inference Builds a Short Cut to Deforestation [My Copy] In Proceedings 4th ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'99, Paris, France, 27--29 Sept 1999, Vol. 34(9) (1999), pp. 249-260. by Olaf Chitil posted by 1 person conal
	Functional Pearls: A Poor Man's Concurrency Monad [My Copy] by Koen Claessen posted by 2 people conal SamB
	Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus [My Copy] (02 March 1971) by Michael Spivak posted by 3 people conal singhsh Medical Image Analysis and Visualization @ OSU
	Event-Driven FRP [My Copy] Lecture Notes in Computer Science, Vol. 2257 (2001) by Zhanyong Wan, Walid Taha, Paul Hudak posted by 2 people Scis0000002 conal
	Real-Time FRP [My Copy] In International Conference on Functional Programming (ICFP '01) (September 2001) by Z. Wan, W. Taha, P. Hudak posted by 2 people Scis0000002 conal
	Breadth-first numbering: lessons from a small exercise in algorithm design [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 131-136. by Chris Okasaki posted by 3 people conal BMeph SamB
	Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations [My Copy] (1999) by T. Hickey, Z. Qiu, M. van Emden posted by 1 person conal
	The Incremental Garbage Collection of Processes [My Copy] No. AIM-454. (1977) by Baker, Carl Hewitt posted by 1 person conal
	State in Haskell [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341. by John Launchbury, Simon posted by 1 person conal
	Purely Functional Random-Access Lists [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 86-95. by Chris Okasaki posted by 4 people conal gvdh BMeph americovargas
	De Bruijn Notation as a Nested Datatype [My Copy] Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91. by Richard S. Bird, Ross Paterson posted by 1 person conal
	Numerical Representations as Higher-Order Nested Types [My Copy] (1998) by R. Hinze posted by 1 person conal
	Perfect trees and bit-reversal permutations [My Copy] Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 305-317. by Ralf Hinze posted by 1 person conal
	Frameless Rendering: Double Buffering Considered Harmful [My Copy] Computer Graphics, Vol. 28, No. Annual Conference Series. (1994), pp. 175-176. by Gary Bishop, Henry Fuchs, Leonard Mcmillan, Ellen posted by 1 person conal
	From fast exponentiation to square matrices: an adventure in types [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 28-35. by Chris Okasaki posted by 3 people wtribbey conal BMeph
	Weaving a Web [My Copy] by Ralf Hinze, Johan Jeuring posted by 1 person conal
	Lazy Functional Quaternions [My Copy] by Bryan O'Sullivan posted by 1 person conal
	Parallel Functional Reactive Programming [My Copy] Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??. by John Peterson, Valery Trifonov, Andrei Serjantov posted by 3 people draganigajic conal pedagand
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted by 3 people tov conal americovargas
	Structuring Graphical Paradigms in TkGofer [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 251-262. by Koen Claessen, Ton Vullinghs, Erik Meijer posted by 1 person conal
	Lightweight GUIs for Functional Programming [My Copy] In PLILP (1995), pp. 341-356. by Ton Vullinghs, Daniel Tuinman, Wolfram Schulte posted by 1 person conal
	Incremental algorithms on lists [My Copy] In Proceedings SION Computing Science in the Netherlands (1991), pp. 315-335. by J. Jeuring edited by J. van Leeuwen posted by 3 people spl hubris conal
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279. by Koen Claessen, John Hughes posted by 4 people draganigajic conal americovargas pedagand
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted by 4 people zednenem spl conal americovargas
	Type classes with more higher-order polymorphism [My Copy] (2002) by M. Neubauer, P. Thiemann posted by 1 person conal
	De Bruijn Notation as a Nested Datatype [My Copy] Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91. by Richard S. Bird, Ross Paterson posted by 2 people conal oryp6518
	Escaping the event loop: an alternative control structure for multi-threaded GUIs [My Copy] In EHCI (1995), pp. 69-87. by M. Fuchs posted by 6 people hamish JeffreyPalmer dsilva zednenem conal danlentz
	Bootstrapping One-sided Flexible Arrays [My Copy] by Ralf Hinze posted by 2 people zednenem conal
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted by 8 people spl conal greenrd yallop kinaba voigt SRG_at_UCD americovargas
	Dynamic optimization for functional reactive programming using generalized algebraic data types [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65. by Henrik Nilsson posted by 10 people greenrd zednenem josefs voigt robennals conal serebryakov SRG_at_UCD blue_entropy bhuber
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted by 20 people azwinkau robertjohnsimmons bfraser ConcertRG spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	Functional automatic differentiation with dirac impulses [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 153-164. by Henrik Nilsson posted by 2 people eaubin conal
	Generalising monads to arrows [My Copy] Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111. by John Hughes posted by 8 people puzza eaubin jrw cedricboidin tautologico jharai conal cognominal
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted by 9 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins conal
	Types as Theories [My Copy] In Topology and Category Theory in Computer Science (1991), pp. 357-390. by Joseph Goguen edited by George M. Reed, Andrew W. Roscoe, Ralph F. Wachter posted by 4 people GorgeousNicko bonotake scis0000001 marcinzalewski
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted by 16 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur pileWorks masteraka popx marcinzalewski
	Closed Freyd- and $κ$-Categories [My Copy] In Proceedings 26th Int.\ Coll.\ on Automata, Languages and Programming, ICALP'99, Prague, Czech Rep., 11--15 July 1999, Vol. 1644 (1999), pp. 625-634. by John Power, Hayo Thielecke edited by J. Wiedermann, van Emde, M. Nielsen posted by 2 people msakai bonotake
	Object Interaction [My Copy] In Mathematical Foundations of Computer Science (1992), pp. 200-208. by Jose F. Costa, Amilcar Sernadas, Cristina Sernadas, Hans D. Ehrich posted by 4 people mahler bonotake scis0000001 Rightscom
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted by 12 people ConcertRG mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 Rightscom masteraka marcinzalewski Scis0000002
	Categories for Software Engineering [My Copy] (16 May 2004) by José L. Fiadeiro, Jost L. Fiadeiro posted by 5 people DavidChemouil mahler bonotake mstone Rightscom
	$My PDF l&\#252;ttgen_00_compositional.pdf$ A compositional approach to statecharts semantics [My Copy] In SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 25, No. 6. (November 2000), pp. 120-129. by Gerald L&\#252;ttgen, Michael von der Beeck, Rance Cleaveland posted by 2 people leonardo bonotake
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted by 11 people seno ddemange michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	Categories and Computer Science (Cambridge Computer Science Texts) [My Copy] (27 August 1992) by R. F. C. Walters posted by 8 people ansobol jrw pajoma BarrosH proportional bonotake incognito musil
	Categorical Logic and Type Theory [My Copy] (01 December 1998) by B. Jacobs posted by 5 people DavidChemouil mahler msakai bonotake Rightscom
	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 by 12 people kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja Compilers mcclurmc
	The categorical abstract machine [My Copy] Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202. by G. Cousineau, P. L. Curien posted by 11 people jespera LeonSmith mahler msakai bonotake scis0000001 mstone rgb devnull Rightscom pileWorks
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 24 people wain ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi SRG_at_UCD robotact srccheck jimburton Lambda the Ultimate jasmithoffice shimomura
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted by 13 people samth greenrd zednenem bec voigt msakai bonotake spl NU-PRL SRG_at_UCD gkuan americovargas jpbernardy
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted by 6 people dherman msakai bonotake ryanc NU-PRL marcinzalewski
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	A Semantic Analysis of C++ Templates [My Copy] by Jeremy Siek, Walid Taha posted by 1 person ds
	Call-by-Value Games [My Copy] In Computer Science Logic: 11th International Workshop Proceedings (1998) by Samson Abramsky, Guy Mccusker edited by Mogens Nielsen, Wolfgang Thomas posted by 1 person ds
	FULL ABSTRACTION AND THE CONTEXT LEMMA [My Copy] No. MIT/LCS/TR-524. (1991) by T. Jim, A. R. Meyer posted by 1 person ds
	A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract) [My Copy] In Proceedings 11th Annual IEEE Symp.\ on Logic in Computer Science, {LICS}'96, New Brunswick, {NJ}, {USA}, 27--30 July 1996 (1996), pp. 230-241. by Luke C. H. Ong posted by 1 person ds
	Game-theoretic analysis of call-by-value computation [My Copy] Theoretical Computer Science, Vol. 221, No. 1--2. (1999), pp. 393-456. by Kohei Honda, Nobuko Yoshida posted by 1 person ds
	The Calculus of Constructions and Higher Order Logic [My Copy] by J. Geuvers posted by 1 person ds
	C++ Templates as Partial Evaluation [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 13-18. by Todd L. Veldhuizen posted by 1 person ds
	A New Paradox in Type Theory [My Copy] In Proceedings 9th Int.\ Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, 7--14 Aug 1991, Vol. 134 (1994), pp. 555-570. by Thierry Coquand edited by D. Prawitz, B. Skyrms, D. Westerst\aahl posted by 1 person ds
	Sets and Types: A Review [My Copy] by Masood Mortazavi posted by 1 person ds
	The Semantics of Types in Programming Languages [My Copy] In Handbook of Logic in Computer Science, Volume 3: Semantic Structures (1994), pp. 395-475. by Carl A. Gunter edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 1 person ds
	Safety Analysis versus Type Inference [My Copy] Information and Computation, Vol. 118, No. 1. (1995), pp. 128-141. by Jens Palsberg, Michael I. Schwartzbach posted by 1 person ds
	Analysis and efficient implementation of functional programs [My Copy] (Oct 91) by P. Sestoft posted by 2 people mattmight ds
	Efficient Compilation of Lazy Evaluation [My Copy] SIGPLAN Notices In Proceedings of the ACM {SIGPLAN}'84 Symposium on Compiler Con struction, Vol. 19, No. 6. (June 1984), pp. 58-69. by T. Johnsson posted by 1 person ds
	What Rests On What? The Proof-Theoretic Analysis Of Mathematics [My Copy] by Solomon Feferman posted by 1 person ds
	LAL Is Square: Representation and Expressiveness in Light Affine Logic [My Copy] by Peter M. Neergaard, Harry G. Mairson posted by 1 person ds
	Compiler Construction Using Scheme [My Copy] In Functional Programming Languages in Education (1995), pp. 251-267. by Eric Hilsdale, Michael J. Ashley, Kent R. Dybvig, Daniel P. Friedman posted by 1 person ds
	Proper Tail Recursion and Space Efficiency [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 174-185. by William D. Clinger posted by 1 person ds
	Pure Versus Impure Lisp [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 19, No. 2. (March 1997), pp. 223-238. by Nicholas Pippenger posted by 1 person ds
	Equational Theories for Inductive Types [My Copy] Annals of Pure and Applied Logic, Vol. 84, No. 2. (1997), pp. 175-217. by Ralph Loader posted by 2 people Scis0000002 ds
	Predicative Foundations of Arithmetic [My Copy] Journal of Philosophical Logic, Vol. 24, No. 1. (1975), pp. 1-17. by Solomon Feferman, Geoffrey Hellman posted by 1 person ds
	The Development of Mathematical Logic from Russell to Tarski: 1900-1935 [My Copy] by Paolo Mancosu, Richard Zach, Calixto Badesa posted by 1 person ds
	Understanding Intuitionism [My Copy] (1997) by E. Nelson posted by 1 person ds
	Typability and Type Checking in System F are Equivalent and Undecidable [My Copy] Annals of Pure and Applied Logic, Vol. 98, No. 1-3. (1999), pp. 111-156. by J. B. Wells posted by 1 person ds
	From proof nets to interaction nets [My Copy] In Advances in Linear Logic (1995), pp. 225-247. by Y. Lafont edited by J. Y. Girard, Y. Lafont, L. Regnier posted by 1 person ds
	Types, Potency, and Idempotency: Why Nonlinearity and Amnesia Make a Type System Work [My Copy] by Peter M. Neergaard, Harry G. Mairson posted by 1 person ds
	How Light Is Safe Recursion? Compositional Translations between Languages of Polynomial Time [My Copy] by Peter M. Neergaard, Harry G. Mairson posted by 1 person ds
	The history and status of the P versus NP question [My Copy] (1992), pp. 603-618. by Michael Sipser posted by 1 person ds
	Intensional Semantics of System T of Godel [My Copy] Electronic Notes in Theoretical Computer Science In Workshop on Domains IV, Vol. 35 (2000), pp. 230-243. by Pierre Valarcher posted by 1 person ds
	A New Characterization of Type-2 Feasibility [My Copy] SIAM J. Comput., Vol. 25, No. 1. (1996), pp. 117-132. by Bruce M. Kapron, Steven A. Cook posted by 1 person ds
	An Arithmetic for Polynomial-Time Computation [My Copy] by Helmut Schwichtenberg posted by 1 person ds
	Feasible computation with higher types [My Copy] (2002) by H. Schwichtenberg posted by 1 person ds
	Higher Type Recursion, Ramification and Polynomial Time [My Copy] by S. Bellantoni, K. H. Niggl, H. Schwichtenberg posted by 2 people ds zuleger
	Ramified Recursion and Intuitionism [My Copy] (1997) by E. Nelson posted by 1 person ds
	Proof Theory [My Copy] by Helmut Schwichtenberg posted by 1 person ds
	Continuation Semantics in Typed Lambda-Calculi [My Copy] In Proceedings 3rd Workshop on Logics of Programs, Brooklyn, NY, {USA}, 17--19 June 1985, Vol. 193 (1985), pp. 219-224. by Albert R. Meyer, Mitchell Wand edited by R. Parikh posted by 2 people ds cdiggins
	Continuations Revisited [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 131-133. by Christopher P. Wadsworth posted by 1 person ds
	Christopher Strachey and Fundamental Concepts [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 115-117. by Joe Stoy posted by 1 person ds
	Some Reflections on Strachey and His Work [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 103-114. by Dana Scott posted by 1 person ds