Satoh, Wataru's Top Recommendations

These recommendations were last updated about 5 hours ago.

	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
	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
	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
	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
	Data flow analysis is model checking of abstract interpretations [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48. by David A. Schmidt posted by 8 people streetlightios eaubin wasi Mikejones msakai bunge keigoi zuleger
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted by 7 people dwei98 maddogmiller StFX Centre for Logic and Information streetlightios yoriyuki keigoi msakai
	Map-reduce-merge: simplified relational data processing on large clusters [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 1029-1040. by Hung C. Yang, Ali Dasdan, Ruey L. Hsiao, D. Stott Parker posted by 16 people kuenishi boesswetter pool007 wyf181 mogwaing Jingbo urvoy jweslley qiuyl myui draganigajic rstata bunge idornescu pdlug dmeister
	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
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted by 16 people robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal Rightscom Compilers masteraka mmarcus
	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
	Semantic Innocence and Uncompromising Situations [My Copy] Midwest Studies In Philosophy, Vol. 6, No. 1. (1981), pp. 387-404. by J. O. N. Barwise, J. O. H. N. Perry posted by 1 person yoriyuki
	An inverse of the evaluation functional for typed λ-calculus [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (1991), pp. 203-211. by U. Berger, H. Schwichtenberg posted by 2 people msakai yoriyuki
	Checking Memory Safety with Blast [My Copy] Fundamental Approaches to Software Engineering (2005), pp. 2-18. by Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted by 3 people shimomura yoriyuki msakai
	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
	The thermodynamics of computation—a review [My Copy] International Journal of Theoretical Physics, Vol. 21, No. 12. (1 December 1982), pp. 905-940. by Charles H. Bennett posted by 4 people Kiarostami hakanolin msakai yoriyuki
	QPL 2006 Preliminary Version From reversible to irreversible computations Abstract [My Copy] by Alexander S. Green, Thorsten Altenkirch posted by 2 people msakai yoriyuki
	A certified, corecursive implementation of exact real numbers [My Copy] Theoretical Computer Science In Real Numbers and Computers, Vol. 351, No. 1. (14 February 2006), pp. 39-51. by Alberto Ciaffaglione, Pietro Di Gianantonio posted by 2 people yoriyuki msakai
	Sets in types, types in sets [My Copy] In Proceedings of TACS'97, Vol. 1281 (1997), pp. 530-546. by Benjamin Werner posted by 2 people yoriyuki msakai
	A sequent calculus for limit computable mathematics [My Copy] Annals of Pure and Applied Logic In Special Issue: Classical Logic and Computation (2006), Vol. 153, No. 1-3. (April 2008), pp. 111-126. by Stefano Berardi, Yoriyuki Yamagata posted by 2 people msakai yoriyuki
	A generalization of exceptions and control in ML-like languages [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 12-23. by Carl A. Gunter, Didier Rémy, Jon G. Riecke posted by 2 people msakai yoriyuki
	On Evans's Vague Object from Set Theoretic Viewpoint [My Copy] Journal of Philosophical Logic, Vol. 35, No. 4. (2006), pp. 423-434. by Shunsuke Yatabe, Hiroyuki Inaoka posted by 2 people yoriyuki msakai
	On the scheme of induction for bounded arithmetic formulas [My Copy] Annals of Pure and Applied Logic, Vol. 35 (1987), pp. 261-302. by A. Wilkie, J. Paris posted by 3 people rzach LogicPhilMath yoriyuki
	A new recursion-theoretic characterization of the polytime functions (extended abstract) [My Copy] In STOC '92: Proceedings of the twenty-fourth annual ACM symposium on Theory of computing (1992), pp. 283-293. by Stephen Bellantoni, Stephen Cook posted by 2 people msakai yoriyuki
	Strong normalization of the second-order symmetric [lambda][mu]-calculus [My Copy] Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20. by Yoriyuki Yamagata posted by 2 people yoriyuki msakai
	Control categories and duality: on the categorical semantics of the lambda-mu calculus [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260. by Peter Selinger posted by 2 people yoriyuki msakai
	Reference counting as a computational interpretation of linear logic [My Copy] Journal of Functional Programming, Vol. 6, No. 02. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted by 2 people yoriyuki msakai
	Fast context-free grammar parsing requires fast boolean matrix multiplication [My Copy] J. ACM, Vol. 49, No. 1. (January 2002), pp. 1-15. by Lillian Lee posted by 2 people msakai yoriyuki
	Strong Normalization of Second Order Symmetric Lambda-mu Calculus [My Copy] Theoretical Aspects of Computer Software (2001), pp. 459-467. by Yoriyuki Yamagata posted by 2 people yoriyuki msakai
	Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic [My Copy] Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287. by Shunsuke Yatabe posted by 2 people yoriyuki msakai
	Type Systems for Concurrent Programs [My Copy] Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453. by Naoki Kobayashi posted by 3 people olegus yoriyuki msakai
	Compositional Reasoning in Model Checking [My Copy] Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102. by Sergey Berezin, Sérgio Campos, Edmund M. Clarke posted by 2 people yoriyuki msakai
	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
	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
	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
	Separation logic: a logic for shared mutable data structures [My Copy] (2002) by J. Reynolds posted by 3 people oryp6518 bunge varming
	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
	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
	Hadoop: The Definitive Guide [My Copy] (16 June 2009) by Tom White posted by 5 people Fantozzi jweslley dmeister cymacs germoglio
	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
	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
	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
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted by 6 people zhensong streetlightios uisiong shimomura msakai zuleger
	Software model checking in practice: an industrial case study [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441. by Satish Chandra, Patrice Godefroid, Christopher Palm posted by 5 people streetlightios msakai keigoi bfraser zuleger
	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
	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
	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
	The Daikon system for dynamic detection of likely invariants [My Copy] Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45. by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, et al.Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao posted by 3 people Lewisham embersp zuleger
	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
	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
	Lazy abstraction [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. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted by 8 people streetlightios rhishi shimomura bec pganty groupverif msakai zuleger
	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
	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
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted by 6 people tautologico bunge ds americovargas yoriyuki pedagand
	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
	Automatic predicate abstraction of C programs [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 4 people mattmight bfraser keigoi msakai
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	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
	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
	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
	$My PDF voigtl&\#228;nder_02_concatenate.pdf$ Concatenate, reverse and map vanish for free [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25. by Janis Voigtl&\#228;nder posted by 6 people JacquesC rwtodd pejo voigt msakai NU-PRL
	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
	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
	Amdahl's Law in the Multicore Era [My Copy] Computer In Computer, Vol. 41, No. 7. (2008), pp. 33-38. by M. D. Hill, M. R. Marty posted by 5 people jweslley yingbo dmeister shehjart walteryhli
	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
	What is a recursive module? [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63. by Karl Crary, Robert Harper, Sidd Puri posted by 3 people msakai dherman NU-PRL
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted by 8 people dherman greenrd msakai ryanc ben_moseley NU-PRL SRG_at_UCD americovargas
	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
	The Google file system [My Copy] SIGOPS Oper. Syst. Rev. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, Vol. 37, No. 5. (2003), pp. 29-43. by Sanjay Ghemawat, Howard Gobioff, Shun T. Leung posted by 52 people chaff kuenishi mrt2k9 large-scale-ml karhendana pprett electrum MaineC Nicolas_Torzec sachingarg Scis0000002 hgfernan conservatism gtsysqual yingbo rijo urvoy TELEPAT-ES frdr verma7 tatemura fgeller rmbrad pedagand egh ssn JeffreyPalmer xyll cite0000 bouvin scottmoody davidleitner epaulson mzygmunt ljcamargos neilc mafish markls cybrpunk eblood ronnix Semantic-Social-Networks semantic-multicast-routing dopsy wanggy sdw135 aali mdwelsh dmeister dcordeiro jliegl rfonseca
	Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters [My Copy] In Proceedings of CGO-4 (2005) by Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela D. Brown posted by 4 people DickSilver dmikurube msakai muraken
	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
	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
	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
	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
	Verifying CPS transformations in Isabelle/HOL [My Copy] In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8. by Yasuhiko Minamide, Koji Okuma posted by 4 people dalev NU-PRL mvermaat msakai
	from boolean algebra to unified algebra [My Copy] (1997) by E. Hehner posted by 1 person zednenem
	A polymorphic record calculus and its compilation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 17, No. 6. (November 1995), pp. 844-895. by Atsushi Ohori posted by 3 people dherman NU-PRL msakai
	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
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted by 3 people streetlightios shimomura msakai
	The design and implementation of a log-structured file system [My Copy] ACM Trans. Comput. Syst., Vol. 10, No. 1. (February 1992), pp. 26-52. by Mendel Rosenblum, John K. Ousterhout posted by 18 people jweslley pedagand robertjohnsimmons akshayk gtsysqual mogwaing frdr oteri dfabbri shehjart dsilva diwakergupta pool007 thiagomanel Wombat sysnet Desktop Data Grid dmeister
	A Markov Chain Model Checker [My Copy] In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362. by Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle posted by 3 people streetlightios suer 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
	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
	Automatic predicate abstraction of C programs [My Copy] SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 5 people streetlightios emerson yuichi0619 shimomura msakai
	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
	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
	Termination checking with types [My Copy] (2002) by A. Abel posted by 7 people shimomura msakai greenrd zednenem SRG_at_UCD ardt Lambda the Ultimate
	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
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted by 4 people msakai dherman EdwardKmett NU-PRL
	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
	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
	Structured type theory [My Copy] (1999) by C. Coquand, T. Coquand posted by 3 people draganigajic msakai bringert
	An Extended Calculus of Constructions [My Copy] (1990) by Zhaohui Luo posted by 6 people msakai xiemaisi Benja glaubersp Scis0000002 AS-IIS_ReadingGroup
	Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems [My Copy] Lecture Notes in Computer Science, Vol. 2218 (2001), pp. 329-??. by Antony Rowstron, Peter Druschel posted by 16 people BelliOS egh Sundar scottmoody lighttree henningpeters ChristianDickmann fangchunkuo thiagomanel fariba dmeister semantic-multicast-routing jglx jodal jweslley lop
	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
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted by 28 people pirapira jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins SRL SIG hayeah SamB mmarcus americovargas namin functional programming Lambda the Ultimate pedagand
	Gradual typing for functional languages [My Copy] In Scheme and Functional Programming Workshop (September 2006) by Jeremy G. Siek, Walid Taha posted by 3 people mattmight shimomura msakai
	Bounded Model Checking Using Satisfiability Solving [My Copy] Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34. by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu posted by 4 people streetlightios voronov shimomura msakai