Dmitri Akatov's Top Recommendations

These recommendations were last updated about 5 hours ago.

	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
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	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
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted by 5 people Scis0000002 msakai scis0000001 aleks Compilers
	Consistent query answers in inconsistent databases [My Copy] In PODS '99: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999), pp. 68-79. by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki posted by 3 people stavros anonyox fsautomata
	Strongly typed heterogeneous collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke posted by 13 people pedagand keigoi JacquesC yallop spl tov iff NU-PRL americovargas msakai marcinzalewski shimomura jimburton
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted by 7 people greenrd voigt mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted by 34 people mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins SRG_at_UCD pileWorks cognominal benchambers kazuya hayeah mmarcus donniejones18
	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
	Categorical Logic and Type Theory [My Copy] (01 December 1998) by B. Jacobs posted by 5 people DavidChemouil mahler msakai bonotake Rightscom
	Testing containment of conjunctive queries under functional and inclusion dependencies [My Copy] In PODS '82: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982), pp. 164-169. by D. S. Johnson, A. Klug posted by 2 people anonyox fsautomata
	Formal Languages in Dynamical Systems [My Copy] (21 May 1993) by G. Troll posted by 8 people Scis0000002 pqnelson ansobol jrw BarrosH scis0000001 aleks Compilers
	$My PDF cal\i_03_decidability.pdf$ On the decidability and complexity of query answering over inconsistent and incomplete databases [My Copy] In PODS '03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2003), pp. 260-271. by Andrea Cal\i, Domenico Lembo, Riccardo Rosati posted by 2 people anonyox fsautomata
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 23 people 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
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted by 17 people Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose Rightscom SRG_at_UCD mcclurmc robotact jimburton Lambda the Ultimate americovargas
	Data structures and program transformation [My Copy] Science of Computer Programming, Vol. 14, No. 2-3. (October 1990), pp. 255-279. by Grant Malcolm posted by 3 people msakai scis0000001 spl
	Finite topology as applied to image analysis [My Copy] Computer Vision, Graphics, and Image Processing, Vol. 46, No. 2. (May 1989), pp. 141-161. by V. A. Kovalevsky posted by 8 people baueru hamish ansobol jrw msakai kz1r5d GN magiclove
	A categorical programming language [My Copy] (1987) by Tatsuya Hagino posted by 3 people christiankissig msakai scis0000001
	Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem [My Copy] Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19. by Jorge Soto-Andrade, Francisco J. Varela posted by 3 people msakai adrian_pigors scis0000001
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted by 7 people ama08r pedagand draganigajic msakai keigoi cognominal spl
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted by 6 people ama08r jmmcg draganigajic tov brecknell pedagand
	Lock Free Data Structures Using STM in Haskell [My Copy] Functional and Logic Programming (2006), pp. 65-80. by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh posted by 5 people draganigajic pedagand brecknell keigoi msakai
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted by 8 people Scis0000002 christiankissig ansobol jrw BrendaChng scis0000001 sforcey mmarcus
	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
	Data Exchange: Semantics and Query Answering [My Copy] Database Theory - ICDT 2003: 9th International Conference Siena, Italy, January 8-10, 2003. Proceedings (2003), pp. 207-224. by Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa posted by 2 people brunoDE anonyox
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted by 6 people fgeller msakai spl dherman jrw NU-PRL
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Foundations of semantic web databases [My Copy] In PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2004), pp. 95-106. by Claudio Gutierrez, Carlos Hurtado, Alberto O. Mendelzon posted by 3 people jsenn nmoreau anonyox
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted by 6 people ConcertRG draganigajic pedagand keigoi msakai nominolo
	An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) [My Copy] (27 February 1997) by Ming Li, Paul Vitanyi posted by 11 people gogoasa ansobol stanley BarrosH ddahlem scis0000001 rgb michaelmampaey robertoalamino pileWorks robotact
	Composing schema mappings: Second-order dependencies to the rescue [My Copy] ACM Trans. Database Syst., Vol. 30, No. 4. (December 2005), pp. 994-1055. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan posted by 2 people lawley anonyox
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	Bidirectionalization for free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 165-176. by Janis Voigtländer posted by 3 people pedagand msakai voigt
	Category Theory (Oxford Logic Guides) [My Copy] (27 July 2006) by Steve Awodey posted by 3 people NitinCR pedagand msakai
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	A Second Look at Overloading [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 135-146. by Martin Odersky, Philip Wadler, Martin Wehr posted by 3 people yallop robotact msakai
	Quantum measurements without sums [My Copy] (3 Aug 2006) by Bob Coecke, Dusko Pavlovic posted by 5 people christiankissig jrw proportional jamievicary msakai
	Notes on Situation Theory and Channel Theory [My Copy] by Greg Restall posted by 2 people scis0000001 msakai
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted by 10 people ama08r shimomura michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted by 4 people ama08r leosteinfeld keigoi pedagand
	Stochastic lambda calculus and monads of probability distributions [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted by 7 people dherman tautologico mahler mstone NU-PRL Rightscom pedagand
	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 by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Parametricity as isomorphism [My Copy] Theoretical Computer Science, Vol. 136, No. 1. (1994), pp. 163-181. by Edmund Robinson posted by 2 people msakai scis0000001
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted by 8 people draganigajic pejo voigt hannes mahler mstone Rightscom pedagand
	Containers: Constructing strictly positive types [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27. by M. Abbott, T. Altenkirch, N. Ghani posted by 2 people pedagand msakai
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted by 9 people fierykylin robotact scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted by 8 people blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL spl
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted by 9 people draganigajic jrw zednenem damaru msakai bunge cognominal Lambda the Ultimate namin
	A Tutorial on (Co)Algebras and (Co)Induction [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259. by Bart Jacobs, Jan Rutten posted by 10 people mahler madhadron brothers cpfr Rightscom benchambers kalmar mmarcus marcinzalewski tautologico
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted by 9 people hubris mattmight msakai zednenem kavabean mstone bunge jennie dfisher
	Program calculation properties of continuous algebras [My Copy] (1991) by M. Fokkinga, E. Meijer posted by 4 people msakai scis0000001 KarlKlose glaubersp
	A functional-logic library for wired [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48. by Matthew Naylor, Emil Axelsson, Colin Runciman posted by 4 people draganigajic msakai keigoi pedagand
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted by 5 people fvogels msakai pedagand noam_zeilberger Benja
	Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory) [My Copy] by Per Martin-Lof posted by 3 people pedagand greg_restall msakai
	Domain Theoretic Models of Polymorphism [My Copy] Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167. by Thierry Coquand, Carl A. Gunter, Glynn Winskel posted by 3 people darinm msakai scis0000001
	The design of a pretty-printing library [My Copy] Advanced Functional Programming (1995), pp. 53-96. by John Hughes posted by 4 people msakai draganigajic pedagand yoriyuki
	Smallcheck and lazy smallcheck: automatic exhaustive testing for small values [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48. by Colin Runciman, Matthew Naylor, Fredrik Lindblad posted by 4 people bulwahn pedagand keigoi msakai
	Fold and unfold for program semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted by 5 people draganigajic mcclurmc Lambda the Ultimate msakai spl
	Polymorphic algebraic data type reconstruction [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 85-96. by Tom Schrijvers, Maurice Bruynooghe posted by 2 people mstone msakai
	A functional quantum programming language [My Copy] Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258. by T. Altenkirch, J. Grattage posted by 3 people Scis0000002 msakai yoriyuki
	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience [My Copy] (13 Jun 2003) by R. Brown, T. Porter posted by 7 people ansobol jrw scis0000001 tmiya mstone rgb pileWorks
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted by 10 people ama08r ConcertRG spl pedagand voigt p1738j aleks Benja Compilers paper_jac
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted by 8 people ama08r talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	Extended static checking for haskell [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 48-59. by Dana N. Xu posted by 3 people spl shimomura msakai
	Monads of coalgebras: rational terms and term graphs [My Copy] Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451. by Neil Ghani, Christoph L&\#252;th, Federico De Marchi posted by 2 people Scis0000002 msakai
	Guarded induction on final coalgebras [My Copy] Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18. by D. Pavlovic posted by 2 people christiankissig msakai
	Type Classes with Functional Dependencies [My Copy] In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems (2000), pp. 230-244. by Mark P. Jones posted by 2 people spl msakai
	Bisimulation can't be traced [My Copy] J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268. by Bard Bloom, Sorin Istrail, Albert R. Meyer posted by 4 people christiankissig keigoi numba37 msakai
	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
	Higher Operads, Higher Categories [My Copy] (2 May 2003) by Tom Leinster posted by 7 people robotact jrw wnoise dmitri83 scis0000001 mstone jedal
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted by 11 people ama08r draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate shimomura
	Software Abstractions: Logic, Language, and Analysis [My Copy] (07 April 2006) by Daniel Jackson posted by 7 people zhensong leemond31 DavidChemouil keigoi jleny leonardo dyoo
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted by 9 people pedagand ddemange dimvar ConcertRG robertjohnsimmons robotact alec AndreasSchropp jonathlela
	Chapter 1. Generic Haskell: Practice and Theory [My Copy] Lecture Notes in Computer Science : Generic Programming (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring posted by 3 people yallop spl msakai
	Secrets of the Glasgow Haskell Compiler inliner [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 393-434. by Simon P. Jones, Simon Marlow posted by 3 people jrw pejo msakai
	Towards proving preservation of behaviour of refactoring of UML models [My Copy] In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259. by Marc van Kempen, Michel Chaudron, Derrick Kourie, Andrew Boake posted by 3 people leonardo msakai keigoi
	Coherence for compact closed categories [My Copy] Journal of Pure and Applied Algebra, Vol. 19 (December 1980), pp. 193-213. by G. M. Kelly, M. L. Laplaza posted by 2 people msakai mstone
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted by 8 people noam_zeilberger NitinCR christiankissig DavidChemouil mahler hhalvors Rightscom mmarcus
	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
	Final Coalgebras are Ideal Completions of Initial Algebras [My Copy] by Jirí Adámek posted by 2 people msakai Scis0000002
	Finding bugs efficiently with a SAT solver [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 195-204. by Julian Dolby, Mandana Vaziri, Frank Tip posted by 1 person mwmarkland
	An Extended Calculus of Constructions [My Copy] (1990) by Zhaohui Luo posted by 6 people msakai xiemaisi Benja glaubersp Scis0000002 AS-IIS_ReadingGroup
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted by 13 people ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy SRG_at_UCD jimburton
	Experimental Demonstration of Violations of the Second Law of Thermodynamics for Small Systems and Short Time Scales [My Copy] Physical Review Letters, Vol. 89, No. 5. (15 July 2002), 050601. by G. M. Wang, E. M. Sevick, Emil Mittag, Debra J. Searles, Denis J. Evans posted by 3 people Scis0000002 igorkhavkine msakai
	An abductive event calculus planner [My Copy] Journal of Logic Programming, Vol. 44, No. 1-3. (2000), pp. 207-240. by Murray Shanahan posted by 2 people stavros msakai
	Three partition refinement algorithms [My Copy] SIAM J. Comput., Vol. 16, No. 6. (December 1987), pp. 973-989. by Robert Paige, Robert E. Tarjan posted by 5 people theshadowhost fsautomata gladwig msakai vannevarvision
	Composition and refinement of behavioral specifications [My Copy] Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 157-165. by D. Pavlovic, D. R. Smith posted by 1 person leonardo
	Flat Arrays as a Categorical Data Type [My Copy] In PARLE'93 (submitted) by C. R. Banger, D. B. Skillicorn posted by 3 people msakai rgb pileWorks
	The Elements of Statistical Learning [My Copy] (30 July 2003) by T. Hastie, R. Tibshirani, J. H. Friedman posted by 71 people azhdari LDA and dimension reduction techniques emailhy donnachie singhsh abellogin mahmoodr lop idlebrain makrehchi awarlau gabriprat gokopal alexeigor liamtoh333 amsantos minrmw brian eddymier roys akastrin robotact thefillm ansobol pdlug yaroslavvb bigga jelsas davidr gyuli garyfeng aufrank neteler leidner chad_davis jekky balajis Jaykul balicea sdvillal donade bigbossman sbarthelme bedo AbnerCYH nojhan bamberg kgajos raiyar deysandeep petrposik dbgrant nmdang CMU-HCII Blog_and_Wiki_Research automatic_summarization ReadingLab ur-cls ASR EvolutionaryComputation Metaheuristics Optimization CSBBGraphTheory alfirk brianmc jung_dalglish dquercia blueskies Repton quianominorleo jaonary
	Interpolation in Modal Logic [My Copy] Algebraic Methodology and Software Technology (1999), pp. 154-163. by Maarten Marx posted by 1 person sgwyj
	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 by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	The Road to Reality : A Complete Guide to the Laws of the Universe [My Copy] (22 February 2005) by Roger Penrose posted by 10 people Philosophy of physics Michael_Sherbon asawin mahler BarrosH ccdantas ihuston robertoalamino Rightscom Scis0000002
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted by 12 people shimomura samth marcin msakai kozima keigoi TTSY dhag NU-PRL complogic mcclurmc jpbernardy
	Functional pearl: i am not a number--i am a free variable [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9. by Conor McBride, James McKinna posted by 5 people robertjohnsimmons mvermaat eaubin kavabean msakai
	Proving correctness via free theorems: the case of the destroy/build-rule [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 13-20. by Janis Voigtländer posted by 1 person voigt
	Much ado about two (pearl): a pearl on parallel prefix computation [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 29-35. by Janis Voigtländer posted by 4 people yoriyuki keigoi msakai voigt
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted by 5 people dherman msakai AndreasSchropp NU-PRL mcclurmc
	Semantics and Pragmatics of New Shortcut Fusion Rules [My Copy] Functional and Logic Programming (2008), pp. 163-179. by Janis Voigtländer posted by 2 people voigt msakai