return {   ["1016882"] = { author = "Ralf Hinze",
      confirmed = false,
      path = "ralf-hinze/masses.pdf",
      title = "Generics for the masses",
    },
    ["1052935"] = { author = "Peter Thiemann",
      confirmed = false,
      path = "peter-thiemann/embedded-toit.pdf",
      title = "An embedded domain-specific language for type-safe server-side web scripting",
    },
    ["319847"] = { author = "Dominique Clément, Thierry Despeyroux, Gilles Kahn, and Jo&eumlaut;lle Despeyroux",
      confirmed = false,
      path = "dominique-clement/applicative.pdf",
      title = "A simple applicative language: mini-ML",
    },
    ["325709"] = { author = "Ralf Hinze",
      confirmed = false,
      path = "ralf-hinze/HOPolytypy.ps.gz",
      title = "A new approach to generic functional programming",
    },
    ["54007"] = { author = "Olin Shivers",
      confirmed = false,
      path = "olin-shivers/cfa-scheme.djvu",
      title = "Control flow analysis in Scheme",
    },
    ["606670"] = { author = "Rinus Plasmeijer and Marko van Eekelen",
      confirmed = false,
      path = "rinus-plasmeijer/keep-it-clean.djvu",
      title = "Keep it clean: a unique approach to functional programming.",
    },
    ["666394"] = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/lineartaste.dvi",
      title = "A Taste of Linear Logic",
    },
    ["806766"] = { author = "David A. Turner",
      confirmed = false,
      path = "david-turner/elegance.djvu",
      title = "The Semantic Elegance of Applicative Languages",
    },
  FRIEDMAN76 = { author = "Daniel P. Friedman and David S. Wise",
      confirmed = true,
      path = "daniel-friedman/TR44.djvu",
      title = "{CONS} Should not Evaluate its Arguments",
    },
    ["Gill??"] = { author = "A Gill, J Launchbury, and SL Peyton Jones",
      confirmed = false,
      path = "simon-peyton-jones/deforestation-short-cut.pdf",
      title = "A short cut to deforestation",
    },
    ["HASKELL`02*105"] = { author = "Chris Okasaki",
      confirmed = false,
      path = "chris-okasaki/hw02.ps",
      title = "Techniques for Embedding Postfix Languages in Haskell",
    },
    ["Hinze:2002:PVP"] = { author = "Ralf Hinze",
      confirmed = false,
      path = "ralf-hinze/polykinded.ps.gz",
      title = "Polytypic values possess polykinded types",
    },
  JonesMark93 = { author = "Mark P. Jones",
      confirmed = false,
      path = "mark-jones/fpca93.dvi",
      title = "A system of constructor classes: overloading and implicit higher-order polymorphism",
    },
    ["POPL::Jones1997"] = { author = "Mark P. Jones",
      confirmed = false,
      path = "mark-jones/popl97-fcp.dvi",
      title = "First-class Polymorphism with Type Inference",
    },
  REYNOLDS83 = { author = "John C. Reynolds",
      confirmed = false,
      path = "john-reynolds/typesabpara.djvu",
      title = "Types, Abstraction and Parametric Polymorphism",
    },
  Wadler85 = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/failure.djvu",
      title = "How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages",
    },
  Wadler89 = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/free.dvi",
      title = "Theorems for Free!",
    },
    ["Wadler:MFFP"] = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/marktoberdorf.dvi",
      title = "Monads for functional programming",
    },
    ["Wadler??"] = { author = "PL Wadler",
      confirmed = false,
      path = "phil-wadler/failure.djvu",
      title = "How to replace failure by a list of successes",
    },
    ["aho:lr"] = { author = "Alfred V. Aho and Steve C. Johnson",
      confirmed = true,
      path = "al-aho/lr-parsing.djvu",
      title = "LR Parsing",
    },
    ["appel:simple"] = { author = "Andrew W. Appel",
      confirmed = true,
      path = "andrew-appel/simple-gen.djvu",
      title = "Simple Generational Garbage Collection and Fast Allocation",
    },
    ["bird:sudoku"] = { author = "Richard S. Bird",
      confirmed = false,
      path = "richard-bird/sudoku.pdf",
      title = "Functional Pearl: A program to solve Sudoku",
    },
    ["claessen:quickcheck"] = { author = "Koen Claessen and John Hughes",
      confirmed = false,
      path = "john-hughes/quick.ps",
      title = "QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs",
    },
    ["conf/ppdp/DanvyN01"] = { author = "Olivier Danvy and Lasse R. Nielsen",
      confirmed = false,
      path = "olivier-danvy/BRICS-RS-01-23.dvi",
      title = "Defunctionalization at Work",
    },
    ["damas:principal"] = { author = "Luis Damas and Robin Milner",
      confirmed = true,
      path = "robin-milner/principal.pdf",
      title = "Principal Type-Schemes for Functional Programs",
    },
  danvy91 = { author = "Olivier Danvy and Andrzej Filinski",
      confirmed = false,
      path = "olivier-danvy/danvy92representing.ps.gz",
      title = "Representing Control",
    },
  danvySprintf = { author = "Olivier Danvy",
      confirmed = false,
      path = "olivier-danvy/BRICS-RS-98-12.dvi",
      title = "Functional Unparsing",
    },
    ["edsko:ifl06"] = { author = "Edsko de Vries, Rinus Plasmeijer, and David Abrahamson",
      confirmed = false,
      path = "edsko-de-vries/uniqueness.pdf",
      title = "Uniqueness Typing Redefined",
    },
    ["empgram-pearl"] = { author = "James McKinna and Joel Wright",
      confirmed = false,
      path = "conor-mcbride/epigram-pearl.pdf",
      title = "A type-correct, stack-safe, provably correct, expression compiler in Epigram",
    },
    ["epigram-notes"] = { author = "Conor McBride",
      confirmed = false,
      path = "conor-mcbride/epigram-notes.pdf",
      title = "Epigram: Practical programming with dependent types",
    },
    ["epigram-system"] = { author = "Conor McBride",
      confirmed = false,
      path = "conor-mcbride/epigram-system.pdf",
      title = "The Epigram Prototype: a nod and two winks",
    },
    ["flanagan:continuations-retro"] = { author = "Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen",
      confirmed = true,
      path = "matthias-felleisen/anormal-retro.pdf",
      title = "Retrospective: The Essence of Compiling with Continuations",
    },
    ["flanagan:essence"] = { author = "Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen",
      confirmed = false,
      path = "matthias-felleisen/anormal.djvu",
      title = "The Essence of Compiling with Continuations",
    },
    ["fokker:functional"] = { author = "Jeroen Fokker",
      confirmed = false,
      path = "jeroen-fokker/parsers.ps.gz",
      title = "Functional Parsers",
    },
    ["gabriel:lisp"] = { author = "Richard P. Gabriel",
      confirmed = false,
      path = "richard-gabriel/LispGoodNewsBadNews.pdf",
      title = "Lisp: Good News, Bad News, How to Win Big",
    },
    ["gadt-icfp.pdf"] = { author = "Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn",
      confirmed = false,
      path = "simon-peyton-jones/gadt-icfp.pdf",
      title = "Simple unification-based type inference for GADTs",
    },
    ["gibbons:design-patterns"] = { author = "Jeremy Gibbons",
      confirmed = false,
      path = "jeremy-gibbons/hodgp.pdf",
      title = "Design Patterns as Higher-Order Datatype-Generic Programs",
    },
    ["hughes:design"] = { author = "John Hughes",
      confirmed = false,
      path = "john-hughes/pretty.ps.gz",
      title = "The Design of a Pretty-printing Library",
    },
    ["hughes:why"] = { author = "John Hughes",
      confirmed = false,
      path = "john-hughes/whyfp.ps.gz",
      title = "Why Functional Programming Matters",
    },
    ["hutton:higher-order"] = { author = "Graham Hutton",
      confirmed = false,
      path = "graham-hutton/parsing.ps.gz",
      title = "Higher-order Functions for Parsing",
    },
    ["hutton:monadic"] = { author = "Graham Hutton and Erik Meijer",
      confirmed = false,
      path = "graham-hutton/monadic-parsing-jfp.pdf",
      title = "Functional Pearl: Monadic parsing in Haskell",
    },
    ["jones:constructor-classes"] = { author = "M. P. Jones",
      confirmed = false,
      path = "mark-jones/fpca93.dvi",
      title = "A system of constructor classes: overloading and implicit higher-order polymorphism.",
    },
    ["jones:functional-dependencies"] = { author = "Mark P. Jones",
      confirmed = false,
      path = "mark-jones/fundeps.pdf",
      title = "Type Classes with Functional Dependencies",
    },
    ["jones:imperative"] = { author = "Simon Peyton Jones and Philip Wadler",
      confirmed = false,
      path = "simon-peyton-jones/imperative.ps.Z",
      title = "Imperative functional programming.",
    },
    ["jones:typing"] = { author = "Mark P. Jones",
      confirmed = false,
      path = "mark-jones/thih.ps.gz",
      title = "Typing Haskell in Haskell",
    },
    ["knuth:translation"] = { author = "Donald E. Knuth",
      confirmed = true,
      path = "don-knuth/leftright.djvu",
      title = "On the Translation of Languages from Left to Right",
    },
    ["launchbury-peyton-jones:lazy-functional-state"] = { author = "J. Launchbury and S. Peyton Jones",
      confirmed = false,
      path = "simon-peyton-jones/lazy-functional-state-threads.ps.gz",
      title = "Lazy Functional State Threads",
    },
    ["lesh:bubblesearch"] = { author = "Lesh and Mitzenmacher",
      confirmed = false,
      path = "michael-mitzenmacher/bubblesearch.pdf",
      title = "BubbleSearch: A Simple Heuristic for Improving Priority-based Greedy Algorithms",
    },
    ["liang:monad"] = { author = "Sheng Liang and Paul Hudak and Mark Jones",
      confirmed = true,
      path = "paul-hudak/modular-interpreters.ps.gz",
      title = "Monad Transformers and Modular Interpreters",
    },
    ["mcadam:wraps"] = { author = "Bruce J. McAdam",
      confirmed = false,
      path = "bruce-mcadam/ECS-LFCS-97-375.ps.gz",
      title = "That about wraps it up — Using FIX to handle errors without exceptions, and other programming tricks",
    },
    ["oai:CiteSeerPSU:470286"] = { author = "Mark P. Jones",
      confirmed = false,
      path = "mark-jones/coherence.dvi",
      title = "Coherence for Qualified Types",
    },
    ["odersky-laufer"] = { author = "Martin Odersky and Konstantin Laufer",
      confirmed = false,
      path = "martin-odersky/annotations.pdf",
      title = "Putting Type Annotations to Work",
    },
    ["odersky:inference"] = { author = "Martin Odersky, Martin Sulzmann, and Martin Wehr",
      confirmed = false,
      path = "martin-odersky/tapos-final.ps.gz",
      title = "Type Inference with Constrained Types",
    },
    ["okasaki:red-black"] = { author = "Chris Okasaki",
      confirmed = false,
      path = "chris-okasaki/redblack99.ps",
      title = "Red-Black Trees in a Functional Setting",
    },
    ["peyton-jones-weirich-shields:practical-type-inference"] = { author = "Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields",
      confirmed = false,
      path = "simon-peyton-jones/putting.ps.gz",
      title = "Practical type inference for arbitrary-rank types",
    },
    ["peyton-jones:composing"] = { author = "Simon Peyton Jones, Jean-Marc Eber, and Julian Seward",
      confirmed = false,
      path = "simon-peyton-jones/contracts.pdf",
      title = "Composing contracts: an adventure in financial engineering",
    },
    ["peyton-jones:design-space-type-classes"] = { author = "Simon Peyton Jones, Mark Jones, and Erik Meijer",
      confirmed = false,
      path = "simon-peyton-jones/multi.ps",
      title = "Type Classes: An Exploration of the Design Space",
    },
    ["peyton-jones:secrets"] = { author = "Simon Peyton Jones and Simon Marlow",
      confirmed = false,
      path = "simon-peyton-jones/inline-jfp.ps.gz",
      title = "Secrets of the Glasgow Haskell Compiler inliner",
    },
    ["peyton-jones:tackling"] = { author = "Simon Peyton Jones",
      confirmed = false,
      path = "simon-peyton-jones/marktoberdorf.ps.gz",
      title = "Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell",
    },
    ["pierce-local"] = { author = "Benjamin C. Pierce and David N. Turner",
      confirmed = false,
      path = "benjamin-pierce/lti-toplas.pdf",
      title = "Local Type Inference",
    },
    ["plotkin:structural"] = { author = "Gordon D. Plotkin",
      confirmed = false,
      path = "gordon-plotkin/sos_jlap.pdf",
      title = "A structural approach to operational semantics",
    },
    ["pottier-gianas:typed-lr-parsers"] = { author = "F. Pottier and Y. Régis-Gianas",
      confirmed = true,
      path = "francois-pottier/typed-lr.ps.gz",
      title = "Towards Efficient, Typed {LR} Parsers",
    },
    ["proebsting:goal"] = { author = "Todd A. Proebsting",
      confirmed = false,
      path = "todd-proebsting/pldi97.goal.ps",
      title = "Simple Translation of Goal-Directed Evaluation",
    },
    ["ramsey:stochastic"] = { author = "Norman Ramsey and Avi Pfeffer",
      confirmed = false,
      path = "norman-ramsey/pmonad.pdf",
      title = "Stochastic Lambda Calculus and Monads of Probability Distributions",
    },
    ["reynolds:definitional-reprinted"] = { author = "John C. Reynolds",
      confirmed = true,
      path = "john-reynolds/defintho.pdf",
      title = "Definitional Interpreters for Higher-Order Programming Languages",
    },
    ["reynolds:definitional-revisited"] = { author = "John C. Reynolds",
      confirmed = false,
      path = "john-reynolds/defintintro.ps.gz",
      title = "Definitional Interpreters Revisited",
    },
    ["sheard:generic"] = { author = "Tim Sheard",
      confirmed = false,
      path = "tim-sheard/GenUnify.ps",
      title = "Generic Unification via Two-Level Types and Parameterized Modules",
    },
    ["shivers:control-flow"] = { author = "Olin Shivers",
      confirmed = false,
      path = "simon-peyton-jones/eval-apply.ps",
      title = "Control-Flow Analysis of Higher-Order Languages or Taming Lambda",
    },
    ["smetsers-barendsen:1993"] = { author = "Barendsen and Smetsers",
      confirmed = false,
      path = "sjaak-smetsers/bare93-typinggrs.ps.gz",
      title = "Conventional and Uniqueness Typing in Graph Rewrite Systems",
    },
    ["smetsers-barendsen:1996"] = { author = "Erik Barendsen and Sjaak Smetsers",
      confirmed = false,
      path = "sjaak-smetsers/bare96-uniclosed.ps.gz",
      title = "Uniqueness typing for functional languages with graph rewriting semantics",
    },
    ["stratified-gadt"] = { author = "F. Pottier and Y. Régis-Gianas",
      confirmed = false,
      path = "simon-peyton-jones/ogadt.ps",
      title = "Stratified type inference for generalized algebraic data types",
    },
    ["thiemann:modeling"] = { author = "Peter Thiemann",
      confirmed = false,
      path = "peter-thiemann/padl00.ps.gz",
      title = "Modeling HTML in Haskell",
    },
    ["typed-defunc"] = { author = "F. Pottier and N. Gauthier",
      confirmed = false,
      path = "francois-pottier/defunc.ps.gz",
      title = "Polymorphic Typed Defunctionalization and Concretization",
    },
    ["wadler:ad-hoc"] = { author = "Philip Wadler and Stephen Blott",
      confirmed = false,
      path = "phil-wadler/class.pdf",
      title = "How to make <em>ad-hoc</em> Polymorphism less <em>ad hoc</em>",
    },
    ["wadler:essence"] = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/essence.dvi",
      title = "The essence of functional programming (invited talk)",
    },
    ["wadler:prettier"] = { author = "Philip Wadler",
      confirmed = false,
      path = "phil-wadler/prettier.dvi",
      title = "A prettier printer",
    },
  wand87b = { author = "Mitchell Wand",
      confirmed = false,
      path = "mitch-wand/type-inf.dvi",
      title = "A Simple Algorithm and Proof for Type Inference",
    },
  wdtm = { author = "Thorsten Altenkirch, Conor McBride, and James McKinna",
      confirmed = false,
      path = "conor-mcbride/dependents-matter.pdf",
      title = "Why Dependent Types Matter",
    },
  tcop = { author = "Brent Yorgey",
      confirmed = true,
      path = "brent-yorgey/tc.pdf",
      title = "Typeclassopedia",
    },
}