xiemaisi's Top Recommendations

These recommendations were last updated 7 minutes ago.

	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
	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
	Category Theory for Computing Science (Prentice-Hall International Series in Computer Science) [My Copy] (25 August 1995) by Michael Barr, Charles Wells posted by 4 people jimburton pedagand ds mmarcus
	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
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted by 2 people SamB mmarcus
	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 2 people conal mmarcus
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted by 9 people pedagand christiankissig zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	Algebraic Topology [My Copy] (15 November 2001) by Allen Hatcher posted by 4 people NitinCR mmarcus yalding ansobol
	How to declare an imperative [My Copy] ACM Comput. Surv., Vol. 29, No. 3. (September 1997), pp. 240-263. by Philip Wadler posted by 4 people jacob rgb pileWorks mmarcus
	Leibniz's Definition of Monad [My Copy] (12 Aug 2006) by S. S. Kutateladze posted by 4 people ansobol jrw proportional mmarcus
	Sets for mathematics [My Copy] (2003) by William F. Lawvere, Robert Rosebrugh posted by 5 people ansobol TooMuchCoffeeMan rgb pileWorks mmarcus
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted by 8 people Scis0000002 christiankissig ansobol jrw BrendaChng scis0000001 sforcey mmarcus
	Categories for Types (Cambridge Mathematical Textbooks) [My Copy] (27 January 1994) by Roy L. Crole posted by 3 people pedagand bonotake mmarcus
	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
	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
	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
	From Finite Sets to Feynman Diagrams [My Copy] (20 Apr 2000) by John C. Baez, James Dolan posted by 5 people ansobol jrw wnoise BrendaChng mmarcus
	Notions of Computation and Monads [My Copy] Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92. by Eugenio Moggi posted by 5 people JeffreyPalmer tautologico glaubersp ds mmarcus
	Computational Lambda-Calculus and Monads [My Copy] In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23. by Eugenio Moggi posted by 9 people jrw cedricboidin tautologico pile glaubersp mfrydr ds complogic mmarcus
	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
	A simpler proof theory for nominal logic [My Copy] (2005) by J. Cheney posted by 1 person rysavy
	Nominal Logic: A First Order Theory of Names and Binding [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001), pp. 219-242. by Andrew M. Pitts posted by 1 person rysavy
	Verification of Reactive Systems Using DisCo and PVS [My Copy] In FME (1997), pp. 589-604. by Pertti Kellomaki posted by 1 person rysavy
	Abstraction and Modular Verification of Infinite-State Reactive Systems [My Copy] In Requirements Targeting Software and Systems Engineering (1997), pp. 273-292. by Zohar Manna, Michael Colon, Bernd Finkbeiner, Henny Sipma, Tomas E. Uribe posted by 1 person rysavy
	Verification of Embedded Software: Problems and Perspectives [My Copy] Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 97-??. by Patrick Cousot, Radhia Cousot posted by 2 people rysavy suer
	Dynamic Types and Type Dependent Functions [My Copy] In Implementation of Functional Languages (1998), pp. 169-185. by Marco Pil posted by 1 person rysavy
	Dependent Types for Program Termination Verification [My Copy] In Logic in Computer Science (2001) by Hongwei Xi posted by 3 people dherman rysavy NU-PRL
	Dependently Typed Data Structures [My Copy] (2000) by Hongwei Xi posted by 5 people dherman tautologico japple rysavy NU-PRL
	Typed Closure Conversion [My Copy] In Symposium on Principles of Programming Languages (1996), pp. 271-283. by Yasuhiko Minamide, Gregory J. Morrisett, Robert Harper posted by 2 people cdiggins d23
	A Formulation of the Simple Theory of Types [My Copy] The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68. by Alonzo Church posted by 7 people neelk yoriyuki Benja ajk calvins varming d23
	The Lambda Calculus (Studies in Logic and the Foundations of Mathematics) [My Copy] (01 October 1984) by H. P. Barendregt posted by 6 people DavidChemouil kowey bunge Benja robotact d23
	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I [My Copy] Communications of the ACM, Vol. 3, No. 4. (1960), pp. 184-195. by John L. Mccarthy posted by 5 people jrw dsilva pintman calvins d23
	Mathematical Writing (Mathematical Association of America Notes) [My Copy] (05 September 1996) by Donald E. Knuth, Tracy Larrabee, Paul M. Roberts posted by 9 people pedagand ansobol dsquared jolilius qiongc NitinCR TUCS-ES_Lab kabelsalat d23
	The Impact of the Lambda Calculus on Logic and Computer Science [My Copy] Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215. by Henk Barendregt posted by 6 people jrw yallop rahul lcigler SRL d23
	Genetic Programming: On the Programming of Computers by Means of Natural Selection (Complex Adaptive Systems) [My Copy] (11 December 1992) by John R. Koza posted by 12 people adamnellis petrposik derek_farn ujh nojhan martinthesis cwr EvolutionaryComputation Metaheuristics Optimization d23 lop
	A Note on the Entscheidungsproblem [My Copy] The Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41. by Alonzo Church posted by 7 people mattmight rzach greg_restall mx80 ajk LogicPhilMath d23
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted by 20 people GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl Lambda the Ultimate namin mvermaat d23 SamB enochguimond MikolkaMikolka logics of knowledge
	Revised$^5$ Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. (editors) posted by 10 people mattmight higepon samth dherman pnkfelix alec tov NU-PRL dfisher d23
	How Can Nature Help Us Compute? [My Copy] SOFSEM 2006: Theory and Practice of Computer Science (2006), pp. 1-13. by S. Cooper posted by 2 people Scis0000002 jimburton
	Composing contracts: an adventure in financial engineering (functional pearl) [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292. by Simon P. Jones, Jean M. Eber, Julian Seward posted by 3 people draganigajic pedagand jimburton
	Constructive Mathematics and Computer Programming [My Copy] Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518. by P. Martin-Lof posted by 7 people pirapira ansobol jrw Scis0000002 Constructivity jimburton Lambda the Ultimate
	Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) [My Copy] (13 November 1998) by Giovanni Sambin, Jan M. Smith posted by 2 people jimburton Constructivity
	Haskell 98 Language and Libraries: The Revised Report [My Copy] (05 May 2003) by Simon P. Jones posted by 4 people samth tov NU-PRL jimburton
	Introduction to Formal Specification and Z (2nd Edition) [My Copy] (11 July 1996) by Ben Potter, Jane Sinclair, David Till posted by 3 people prahlad smogit jimburton
	Programming Erlang: Software for a Concurrent World [My Copy] (11 July 2007) by Joe Armstrong posted by 7 people myspl fheintz ljcamargos BastianSpanneberg vlasovskikh jimburton jasmithoffice
	Strongly typed memory areas programming systems-level data structures in a functional language [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 72-83. by Iavor S. Diatchki, Mark P. Jones posted by 2 people keigoi jimburton
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 4. (2000), pp. 327-351. by Ralf Hinze posted by 3 people jimburton Lambda the Ultimate americovargas
	Extensional equality in intensional type theory [My Copy] Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420. by T. Altenkirch posted by 6 people jimburton A_Olympia greenrd Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted by 5 people draganigajic keigoi tov jimburton Lambda the Ultimate
	Fun with functional dependencies [My Copy] (2001) by T. Hallgren posted by 4 people yallop voigt spl jimburton
	Fun of Programming (Cornerstones of Computing S.) [My Copy] (30 June 2005) by Jeremy Gibbons, Oege de Moor posted by 3 people thsutton jimburton spl
	A Theory of Objects (Monographs in Computer Science) [My Copy] (23 April 1998) by Martin Abadi, Luca Cardelli posted by 5 people emiliorp pbostrom majak FAL jimburton
	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
	Arrows, robots, and functional reactive programming [My Copy] (2002) by P. Hudak, A. Courtney, H. Nilsson, J. Peterson posted by 3 people rsaarelm jimburton dfisher
	Formal methods: state of the art and future directions [My Copy] ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643. by Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, et al.Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave posted by 5 people mishra_satish rgrig citeilike SRG_at_UCD jimburton
	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
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted by 8 people shimomura jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted by 8 people draganigajic rgrig amorkan lyongu ds SRG_at_UCD Lambda the Ultimate jimburton
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted by 7 people greenrd voigt AndreasSchropp mgran SRG_at_UCD mcclurmc jimburton
	Functional pearl: implicit configurations--or, type classes reflect the values of types [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44. by Oleg Kiselyov, Chung-Chieh Shan posted by 8 people mstone hellige greenrd yallop zednenem AndreasSchropp SRG_at_UCD jimburton
	Optimising Embedded DSLs Using Template Haskell [My Copy] Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205. by Sean Seefried, Manuel Chakravarty, Gabriele Keller posted by 3 people mbravenboer keigoi jimburton
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted by 11 people ConcertRG robertjohnsimmons pedagand spl jimburton byorgey dalev greenrd dmitri83 NU-PRL SRG_at_UCD
	Algebra of Programming, The [My Copy] (26 September 1996) by Richard Bird, Oege De Moor posted by 4 people jimburton voigt oryp6518 voronov
	Term graph rewriting [My Copy] (1998) by D. Plump posted by 2 people kavabean wnpx
	Aiding Dependent Type Checking with Rewrite Rules [My Copy] by Yorck Huencke, Oege de Moor posted by 1 person kavabean
	Compiling Embedded Languages [My Copy] In SAIG (2000), pp. 9-27. by Conal Elliott, Sigbjorn Finne, Oege de Moor posted by 4 people hamish JeffreyPalmer kavabean scis0000001
	DSL Implementation in [My Copy] by Metaocaml T. Haskell posted by 5 people kavabean stagediver kozima glaubersp Scis0000002
	Just-in-time: On Strategy Annotations [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 57 (2001) by Jaco van de Pol posted by 2 people kavabean Scis0000002
	Termination of Rewriting with Strategy Annotations [My Copy] Lecture Notes in Computer Science, Vol. 2250 (2001), pp. 669-??. by Salvador Lucas posted by 1 person kavabean
	Rewriting with Strategies in ELAN: A Functional Semantics [My Copy] International Journal of Foundations of Computer Science, Vol. 12, No. 1. (2001), pp. 69-95. by Peter Borovansky, Claude Kirchner, Hne Kirchner, Christophe Ringeissen posted by 1 person kavabean
	Toward a general theory of names: binding and scope [My Copy] In MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding (2005), pp. 33-40. by James Cheney posted by 2 people mvermaat kavabean
	Scrap your nameplate: (functional pearl) [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191. by James Cheney posted by 2 people mvermaat kavabean
	Technology and Courage [My Copy] In Perspectives on Computer Science, ed. by Anita K. Jones, Academic Press, New York, 1977; CMU Computer Science: A 25th Anniversary Commemorative, Richard F. Rashid (Ed.), {ACM} Press and Addison-Wesley Publishing Co. (1991) by Sutherland posted by 2 people kavabean Bluetulip
	A New Approach to Generic Functional Programming [My Copy] In Symposium on Principles of Programming Languages (2000), pp. 119-132. by Ralf Hinze posted by 4 people draganigajic kavabean americovargas pedagand
	A fresh approach to representing syntax with static binders in functional programming [My Copy] SIGPLAN Not., Vol. 36, No. 10. (October 2001), pp. 1-1. by Andrew M. Pitts posted by 1 person kavabean
	Executable structural operational semantics in Maude [My Copy] (2003) by A. Verdejo, Mart N. Oliet posted by 2 people kavabean scis0000001
	Principles of Maude [My Copy] In Proceedings of the First International Workshop on Rewriting Logic, Vol. 4 (1996), pp. 65-89. by Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer edited by José Meseguer posted by 2 people kavabean scis0000001
	ASF+SDF Parsing Tools Applied to ELAN [My Copy] by M. G. J. van den Brand, C. Ringeissen posted by 1 person kavabean
	An Overview of ELAN [My Copy] (1998) by P. Borovansky, C. Kirchner, H. Kirchner, P. Moreau, C. Ringeissen posted by 1 person kavabean
	A Steve Vinoski Toward Integration Column from IEEE Internet Computing [My Copy] by Middleware D. Matter posted by 2 people jrw kavabean
	The rewriting calculus --- Part [My Copy] (2001) by H. Cirstea, C. Kirchner posted by 3 people jrw kavabean scis0000001
	Monadic Corecursion: Definition, Fusion Laws and Applications [My Copy] In Selected Papers 1st Workshop on Coalgebraic Methods in Computer Science, CMCS'98, Lisbon, Portugal, 28--29 March 1998, Vol. 11 (1998) by Alberto Pardo edited by B. Jacobs, L. Moss, H. Reichel, J. Rutten posted by 1 person kavabean
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted by 6 people robertjohnsimmons zednenem josefs kavabean bringert richardlp
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted by 11 people sgwyj pedagand hubris mattmight msakai zednenem kavabean mstone bunge jennie dfisher
	Programmable type systems for domain specific languages [My Copy] (2002) by P. Thiemann posted by 3 people hamish JeffreyPalmer kavabean
	$My PDF l&\#228;mmel_05_scrap.pdf$ Scrap your boilerplate with class: extensible generic functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215. by Ralf L&\#228;mmel, Simon P. Jones posted by 9 people spl mkis hamish yallop bec voigt kavabean lomeo americovargas
	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
	Scannerless generalized-LR parsing [My Copy] by E. Visser posted by 4 people dherman jrw kavabean NU-PRL
	Generic discrimination: sorting and paritioning unshared data in linear time [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102. by Fritz Henglein posted by 5 people brothers jkominek spl jimburton JeffreyPalmer
	A Diagrammatic Logic for Object-Oriented Visual Modeling [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 203, No. 6. (21 November 2008), pp. 19-41. by Z. Diskin, U. Wolter posted by 1 person jimburton
	A Tool for Programming with Interaction Nets [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 219 (20 November 2008), pp. 83-96. by J. Almeida, J. Pinto, M. Vilaca posted by 1 person jimburton
	Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science) [My Copy] (16 January 1980) by M. Gordon, R. Milner, C. P. Wadsworth posted by 1 person jimburton
	Cayenne — a language with dependent types [My Copy] Vol. 34 (1998), pp. 239-250. by Lennart Augustsson posted by 1 person jimburton
	Algebra of Programming Using Dependent Types [My Copy] Mathematics of Program Construction (2008), pp. 268-283. by Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson posted by 2 people pedagand jimburton
	Paradise: a two-stage DSL embedded in Haskell [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 225-228. by Lennart Augustsson, Howard Mansell, Ganesh Sittampalam posted by 2 people JavaJoe jimburton
	FPH: first-class polymorphism for Haskell [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 295-306. by Dimitrios Vytiniotis, Stephanie Weirich, Simon P. Jones posted by 1 person jimburton
	Handbook of logic in computer science: Volume 5: Logic and algebraic methods [My Copy] (2000) posted by 1 person jimburton
	What's the deal with dependent types? [My Copy] In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 1-2. by Conor Mcbride posted by 2 people talototo jimburton
	Ynot: dependent types for imperative programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240. by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal posted by 3 people mattmight jimburton byorgey
	Types and Programs from Euler Diagrams [My Copy] Diagrammatic Representation and Inference (2008), pp. 357-359. by James Burton posted by 1 person jimburton