yoriyuki yamagata's Top Recommendations

These recommendations were last updated about 8 hours ago.

	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Category Theory (Oxford Logic Guides) [My Copy] (27 July 2006) by Steve Awodey posted by 3 people NitinCR pedagand msakai
	Higher-order abstract syntax [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation (1988), pp. 199-208. by F. Pfenning, C. Elliot posted by 3 people shimomura keigoi msakai
	Functionals Defined by Transfinite Recursion [My Copy] The Journal of Symbolic Logic, Vol. 30, No. 2. (1965), pp. 155-174. by W. W. Tait posted by 2 people msakai hubris
	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
	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
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted by 5 people greenrd voigt msakai keigoi SRG_at_UCD
	Proving open properties by induction [My Copy] Inf. Process. Lett., Vol. 29, No. 1. (1988), pp. 19-23. by J. C. Raoult posted by 2 people msakai hubris
	Theory and practice of constraint handling rules [My Copy] The Journal of Logic Programming, Vol. 37, No. 1-3. (12 October 1998), pp. 95-138. by Thom Fruhwirth posted by 4 people fdr msakai keigoi bfraser
	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
	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
	Extensible algebraic datatypes with defaults [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 241-252. by Matthias Zenger, Martin Odersky posted by 3 people mbravenboer keigoi bfraser
	100 years of Zermelo's axiom of choice: what was the problem with it? [My Copy] The Computer Journal, Vol. 49, No. 3. (1 May 2006), pp. 345-350. by Per Martin-Lof posted by 2 people msakai hubris
	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
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted by 4 people ama08r msakai keigoi shimomura
	A type-preserving compiler in Haskell [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86. by Louis J. Guillemette, Stefan Monnier posted by 3 people shimomura msakai keigoi
	Quasi-linear types [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 29-42. by Naoki Kobayashi posted by 4 people keigoi suer shimomura msakai
	Don't eliminate cut [My Copy] Journal of Philosophical Logic, Vol. 13, No. 4. (1 November 1984), pp. 373-378. by George Boolos posted by 3 people msakai hubris PunkRock
	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
	A Simple Solution to Type Specialization [My Copy] Automata, Languages and Programming (1998), 908. by Olivier Danvy posted by 3 people jkominek msakai keigoi
	Program analysis via graph reachability [My Copy] Information and Software Technology, Vol. 40, No. 11-12. (1 December 1998), pp. 701-726. by Thomas Reps posted by 4 people dimvar mattmight msakai keigoi
	One-and-a-halfth-order Logic [My Copy] J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562. by Murdoch J. Gabbay, Aad Mathijssen posted by 2 people msakai keigoi
	A case study on how to manage the theft of information [My Copy] In InfoSecCD '05: Proceedings of the 2nd annual conference on Information security curriculum development (2005), pp. 135-138. by Robert posted by 3 people keigoi msakai takataka15
	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
	Embedding a Hardware Description Language in Template Haskell [My Copy] Domain-Specific Program Generation (2004), pp. 143-164. by John T. O’donnell posted by 2 people msakai keigoi
	A recursive do for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 29-37. by Levent Erkök, John Launchbury posted by 2 people msakai keigoi
	Conditional rewriting logic as a unified model of concurrency [My Copy] Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155. by José Meseguer posted by 2 people msakai keigoi
	Global variable considered harmful [My Copy] SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34. by W. Wulf, Mary Shaw posted by 5 people azwinkau akuhn fgeller msakai keigoi
	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
	Model-Checking Behavioral Specification of BPEL Applications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005), Vol. 151, No. 2. (31 May 2006), pp. 89-105. by Shin Nakajima posted by 2 people keigoi msakai
	Subtyping recursive types [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted by 2 people msakai keigoi
	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
	Acceptor and connector [My Copy] (1997), pp. 191-229. by Douglas C. Schmidt posted by 2 people msakai keigoi
	Why it's nice to be quoted: quasiquoting for haskell [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 73-82. by Geoffrey Mainland posted by 2 people msakai keigoi
	Formally deriving an STG machine [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112. by Alberto, Ricardo posted by 3 people msakai keigoi kalmar
	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
	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
	Polymorphic Delimited Continuations [My Copy] Programming Languages and Systems (2007), pp. 239-254. by Kenichi Asai, Yukiyoshi Kameyama posted by 3 people msakai keigoi nominolo
	Model Checking Timed Automata with Priorities Using DBM Subtraction [My Copy] Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142. by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson posted by 2 people keigoi msakai
	A user-centred approach to functions in excel [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 165-176. by Simon P. Jones, Alan Blackwell, Margaret Burnett posted by 7 people himosqui robertlischke hamish alisonruth msakai keigoi SITCRC
	Observable Sharing for Functional Circuit Description [My Copy] In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science (1999), pp. 62-73. by Koen Claessen, David Sands posted by 2 people keigoi msakai
	Understanding functional dependencies via constraint handling rules [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129. by Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey posted by 5 people hamish msakai keigoi cognominal jpbernardy
	Substructural Type Systems for Program Analysis [My Copy] Functional and Logic Programming (2008), pp. 14-14. by Naoki Kobayashi posted by 2 people keigoi msakai
	Multiparty asynchronous session types [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284. by Kohei Honda, Nobuko Yoshida, Marco Carbone posted by 3 people msakai ama08r keigoi
	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
	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
	Tag Elimination and Jones-Optimality [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 257-275. by Walid Taha, Henning Makholm, John Hughes posted by 1 person keigoi
	Purely functional system configuration management [My Copy] In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6. by Eelco Dolstra, Armijn Hemel posted by 1 person keigoi
	Reversible Machine Code and Its Abstract Processor Architecture [My Copy] Computer Science – Theory and Applications (2007), pp. 56-69. by Holger Axelsen, Robert Glück, Tetsuo Yokoyama posted by 1 person keigoi
	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 261-281. by P. Thati, K. Sen, N. Martioliet posted by 1 person keigoi
	Grammar-based analysis of string expressions [My Copy] In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 59-70. by Peter Thiemann posted by 2 people msakai keigoi
	Finite State Verification for the Asynchronous pi-Calculus [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 255-269. by Ugo Montanari, Marco Pistore posted by 2 people msakai keigoi
	Interpolation in Modal Logic [My Copy] Algebraic Methodology and Software Technology (1999), pp. 154-163. by Maarten Marx posted by 1 person sgwyj
	The theory of strictness analysis for higher order functions [My Copy] Programs as Data Objects (1986), pp. 42-62. by G. L. Burn, C. L. Hankin, S. Abramsky posted by 2 people msakai keigoi
	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
	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
	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
	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
	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
	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
	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
	An Extended Calculus of Constructions [My Copy] (1990) by Zhaohui Luo posted by 6 people msakai xiemaisi Benja glaubersp Scis0000002 AS-IIS_ReadingGroup
	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
	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
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon P. Jones posted by 10 people masteraka hamish jrw tautologico voigt msakai neilc benchambers kazuya brecknell
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	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
	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
	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
	A New Extraction for Coq [My Copy] Types for Proofs and Programs (2003), pp. 617-617. by Pierre Letouzey posted by 3 people msakai mvermaat jimburton
	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
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted by 6 people JeffreyPalmer muli msakai AndreasSchropp kozaki jimburton
	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
	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
	Theorem Proving for Verification [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John Rushby posted by 3 people dwei98 mishra_satish michaelbanks