Martijn Vermaat's Top Recommendations

These recommendations were last updated about an hour 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
	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
	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
	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
	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&\#233; Meseguer posted by 3 people kavabean xiemaisi AS-IIS_ReadingGroup
	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 9 people 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
	Scannerless generalized-LR parsing [My Copy] by E. Visser posted by 4 people dherman jrw kavabean NU-PRL
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted by 25 people jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins NU-PRL GroupLens SRL hayeah frej
	Dataless programming [My Copy] In AFIPS '67 (Fall): Proceedings of the November 14-16, 1967, fall joint computer conference (1967), pp. 535-544. by R. M. Balzer posted by 4 people azwinkau akuhn dimvar fgeller
	The status of the P versus NP problem [My Copy] Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86. by Lance Fortnow posted by 11 people zhensong shtrom knuu naveer sanxiyn jirak perhaad laurap dimvar ajholanda gvdh
	Fully homomorphic encryption using ideal lattices [My Copy] In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178. by Craig Gentry posted by 9 people akavipat pirapira msakai creswick dimvar dennis2008 jrw sanxiyn sflammia
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted by 7 people dimvar ama08r robotact ddemange fvogels draganigajic pedagand
	The design and implementation of typed scheme [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 395-406. by Sam Tobin-Hochstadt, Matthias Felleisen posted by 2 people dimvar fgeller
	On power-law relationships of the Internet topology [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 29, No. 4. (October 1999), pp. 251-262. by Michalis Faloutsos, Petros Faloutsos, Christos Faloutsos posted by 3 people dimvar muraken marcio
	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
	Efficient Context-Sensitive Pointer Analysis for C Programs [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1995), 1. by Robert P. Wilson, Monica S. Lam posted by 2 people dimvar bunge
	Reasoning about Programs in Continuation-Passing Style [My Copy] In Proceedings 1992 ACM Conf.\ on Lisp and Functional Programming, San Francisco, {CA}, {USA}, 22--24 June 1992 (1992), pp. 288-298. by Amr Sabry, Matthias Felleisen posted by 2 people dimvar ds
	The next mainstream programming language: a game developer's perspective [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 269-269. by Tim Sweeney posted by 4 people dimvar janschaefer TU-KL-SoftwareTechnologyGroup ktonon
	Patterns of Software: Tales from the Software Community [My Copy] (01 May 1998) by Richard P. Gabriel posted by 5 people dimvar mfisk awils1 Torsten_Holmer yangxian
	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
	A brief history of generative models for power law and lognormal distributions [My Copy] by M. Mitzenmacher posted by 11 people dimvar rcrane scis0000001 bigbossman simba06 bcroy gionis dalab_dsi CARTOON MAML gritzko
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted by 7 people dimvar streetlightios michaelbanks yoriyuki marcinzalewski andymaule srccheck
	Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256. by Maryam Emami, Rakesh Ghiya, Laurie J. Hendren posted by 5 people dimvar mercutio plaugg criswell bunge
	The Essence of Compiling with Continuations [My Copy] In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted by 6 people derek_farn dimvar croys clconway ds mbrentharp
	Pointer Analysis: Haven't We Solved This Problem Yet? [My Copy] In 2001 ACM {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE}'01) (2001) by Michael Hind posted by 10 people dimvar mercutio dherman plaugg jolilius josefs lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
	A Tutorial on Co-induction and Functional Programming [My Copy] In Functional Programming, Glasgow 1994 (1995), pp. 78-95. by Andrew Gordon posted by 2 people dimvar tautologico
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted by 13 people jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand functional programming mcclurmc Lambda the Ultimate namin sclv
	Magic sets and other strange ways to implement logic programs (extended abstract) [My Copy] In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986), pp. 1-15. by Francois Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman posted by 7 people jcreed dimvar abubakaryahaya1 rsaarelm msakai florianfischer dbwz8
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted by 9 people mattmight dimvar samth JeffreyPalmer dsilva calvins eblood NU-PRL bfraser
	Control-flow analysis of higher-order languages of taming lambda [My Copy] (1991) by Olin G. Shivers posted by 5 people mattmight dimvar samth tov NU-PRL
	Symbolic execution and program testing [My Copy] Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394. by James C. King posted by 9 people dimvar U Combinator mattmight qdw1987 srccheck newdawn mercutio gchpaco bfraser
	Control flow analysis in scheme [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by O. Shivers posted by 9 people robertjohnsimmons mattmight dimvar higepon samth jacob tov NU-PRL pedagand
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted by 9 people dimvar samth dherman eaubin pnkfelix JeffreyPalmer ryanc tov NU-PRL
	The anatomy of a large-scale hypertextual Web search engine [My Copy] Computer Networks and ISDN Systems, Vol. 30, No. 1--7. (1998), pp. 107-117. by Sergey Brin, Lawrence Page posted by 79 people karhendana dimvar fordparsons adamsi bsandova bundschu kohei-o chrisd takeha-e gogoasa hazen agulli rabourn lior Icequeen ansobol masaka jcaddy toomash ldfu macartisan indratmo rozim zelacerda xxc akrowne derinb michael_zimmer ChaTo schaal vavi fsilvestri jarrodz manastungare MaineC seabay wcohen tolosoft lighttree ddahlem acharlier umurthy donade gane5h merazzle twetering BenediktM sudhanshu_goswami petzel mzygmunt kazama Repton abonchen PaulBHartzog candan rejin tonypia julia-krysztofiak saikrishna ttdevelop Blog_and_Wiki_Research CSCW InformationRetrieval Wikipedia OpenArchive P2P XMLDataManagement VTCS_PIM2006_Annotation VT_DLRL mdrosou jgronski clickstone WebMining votis federicopaoloni drakkos69 dmeister pprett abellogin
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 11 people puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp NU-PRL ps_ttf
	Trampolining Architectures [My Copy] by Steven E. Ganz, Daniel P. Friedman posted by 5 people dalev JeffreyPalmer zednenem eblood NU-PRL
	Nominal unification [My Copy] Theor. Comput. Sci., Vol. 323, No. 1-3. (2004), pp. 473-497. by Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay posted by 2 people dalev NU-PRL
	$My PDF fern&\#225;ndez_04_nominal.pdf$ Nominal rewriting systems [My Copy] In PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), pp. 108-119. by Maribel Fern&\#225;ndez, Murdoch J. Gabbay, Ian Mackie posted by 2 people dalev NU-PRL
	Safety analysis versus type inference [My Copy] Inf. Comput., Vol. 118, No. 1. (April 1995), pp. 128-141. by Jens Palsberg, Michael I. Schwartzbach posted by 2 people dalev NU-PRL
	Syntactic accidents in program analysis: on the impact of the CPS transformation [My Copy] J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 867-904. by Daniel Damian, Olivier Danvy posted by 2 people dalev NU-PRL
	Some Lambda Calculus and Type Theory Formalized [My Copy] J. Autom. Reason., Vol. 23, No. 3. (November 1999), pp. 373-409. by James Mckinna, Robert Pollack posted by 2 people dalev NU-PRL
	On understanding types, data abstraction, and polymorphism [My Copy] ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523. by Luca Cardelli, Peter Wegner posted by 10 people azwinkau dalev voigt Bluetulip cogumbreiro NU-PRL nodakai chandlerc marcinzalewski jpbernardy
	Type checking dependent (record) types and subtyping [My Copy] J. Funct. Program., Vol. 10, No. 2. (March 2000), pp. 137-166. by Gustavo Betarte posted by 2 people dalev NU-PRL
	Faking it Simulating dependent types in Haskell [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392. by Conor Mcbride posted by 4 people keigoi dalev NU-PRL americovargas
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted by 8 people jcreed draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup pedagand
	Reflective metalogical frameworks [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José Meseguer posted by 8 people isotelesis pirapira leemond31 dalev scis0000001 Benja Scis0000002 NU-PRL
	The mystery of the tower revealed: a non-reflective description of the reflective tower [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 298-307. by Mitchell Wand, Daniel P. Friedman posted by 3 people dalev Benja NU-PRL
	Duplication and partial evaluation --- for a better understanding of reflective languages - [My Copy] Lisp and Symbolic Computation, Vol. 9, No. 2/3. (/ 1996), pp. 203-241. by Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa posted by 3 people dalev Benja NU-PRL
	Denotational proof languages [My Copy] (2000) by Konstantinos Arkoudas posted by 2 people dalev NU-PRL
	Explicit substitutions [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 31-46. by M. Abadi, P. L. Curien, J. J. Levy posted by 3 people dalev voigt NU-PRL
	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
	A generic account of continuation-passing styles [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 458-471. by John Hatcliff, Olivier Danvy posted by 3 people dalev dsilva NU-PRL
	Symbolic Simulation: An ACL2 Approach [My Copy] In Formal Methods in Computer-Aided Design (1998), pp. 334-350. by J. Strother Moore posted by 2 people dalev NU-PRL
	An Industrial Strength Theorem Prover for a Logic Based on Common Lisp [My Copy] Software Engineering, Vol. 23, No. 4. (1997), pp. 203-213. by Matt Kaufmann, J. Strother Moore posted by 3 people dalev hamish NU-PRL
	Cryptofibring (Extended Abstract) [My Copy] by Carlos Caleiro, Jaime Ramos posted by 2 people dalev NU-PRL
	Fibring logics with topos semantics [My Copy] Journal of Logic and Computation, in print. by M. Coniglio, A. Sernadas, C. Sernadas posted by 3 people dalev kaqui NU-PRL
	Mechanisms for combining logics [My Copy] (1999) by C. Caleiro, C. Sernadas, A. Sernadas posted by 3 people dalev Scis0000002 NU-PRL
	The scheme 311 compiler an exercise in denotational semantics [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 356-364. by William Clinger posted by 4 people dalev samth ryanc NU-PRL
	Making Reliable Distributed Systems in the Presence of Software Errors [My Copy] by Joe Armstrong posted by 8 people myspl egh dalev JeffreyPalmer davidmihalcik pjdonald 7oby NU-PRL
	Program fragments, linking, and modularization [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 266-277. by Luca Cardelli posted by 5 people khatchad dalev Bluetulip KarlKlose NU-PRL
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted by 5 people draganigajic dalev dherman NU-PRL pedagand
	CPS transformation of flow information [My Copy] J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 905-923. by Jens Palsberg, Mitchell Wand posted by 4 people dalev twleung dherman NU-PRL
	Quasiquotation in Lisp [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12. by Alan Bawden posted by 12 people samth dalev twleung marcoil dherman JacquesC hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
	A New Approach to Abstract Syntax Involving Binders [My Copy] In Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99) (1999), pp. 214-224. by Murdoch Gabbay, Andrew Pitts edited by G. Longo posted by 3 people dalev samth 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
	Ensuring Generality in Euclid’s Diagrammatic Arguments [My Copy] Diagrammatic Representation and Inference (2008), pp. 222-235. by John Mumma posted by 1 person jimburton
	A Normal Form for Euler Diagrams with Shading [My Copy] Diagrammatic Representation and Inference (2008), pp. 206-221. by Andrew Fish, Chris John, John Taylor posted by 1 person jimburton
	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [My Copy] Diagrammatic Representation and Inference (2008), pp. 172-187. by Aidan Delaney, John Taylor, Simon Thompson posted by 1 person jimburton
	Visual Programming with Interaction Nets [My Copy] Diagrammatic Representation and Inference (2008), pp. 165-171. by Abubakar Hassan, Ian Mackie, Sousa posted by 1 person jimburton
	Conceptual Spider Diagrams [My Copy] Conceptual Structures: Knowledge Visualization and Reasoning (2008), pp. 104-118. by Frithjof Dau, Andrew Fish posted by 1 person jimburton