URL	ID	Description	Source
http://cm.bell-labs.com/who/ken/trust.html	trusting-trust	the classic "Reflections on Trusting Trust" Turing Award lecture by Ken Thompson in 1984 at ...	lambdabot
http://community.haskell.org/~simonmar/papers/ext-exceptions.pdf	exception		lambdabot
http://community.haskell.org/~simonmar/papers/ext-exceptions.pdf	exceptions		lambdabot
http://conal.net/fran/	frp	,	lambdabot
http://conal.net/papers/Eros	eros		lambdabot
http://conal.net/papers/type-class-morphisms/	tcm		lambdabot
http://dl.acm.org/citation.cfm?id=70931.70934	io	Raphael L. Levien's language with continuations as fundamental structure, described in his paper "Io: a new programming notation" (1989-09-10) at ... and in chapter 2 of Raphael A. Finkel's book `APLD', implementations `Amalthea',`Ganymede' - (perhaps you were looking for `@wiki Introduction to IO' ?)	lambdabot
http://home.sandiego.edu/~shulman/papers/index.html	shulman		lambdabot
http://homepages.inf.ed.ac.uk/wadler/papers/arrows-and-idioms/arrows-and-idioms.pdf	oblivious		lambdabot
http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence.ps	essencefp		lambdabot
http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf	monads		lambdabot
http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf	prettier		lambdabot
http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf	on-understanding	On Understanding Types, Data Abstraction, and Polymorphism by Luca Cardelli,Peter Wegner in 1985-12 at ...	lambdabot
http://okmij.org/ftp/Haskell/types.html#Prepose	prepose	Implicit configurations -- or, type classes reflect the values of types by Oleg Kiselyov,Chung-chieh Shan in 2004-08 at ...	lambdabot
http://people.cs.uu.nl/doaitse/Papers/2003/p224-swierstra.pdf	polish		lambdabot
http://pllab.is.ocha.ac.jp/~asai/papers/papers.html	black		lambdabot
http://research.microsoft.com/Users/simonpj/Papers/weak.htm	weak		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm	cpr		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/Papers/history-of-haskell/history.pdf	being.lazy.with.class		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/Papers/inlining/	inlining		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/papers/eval-apply/index.htm	eval-apply		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/papers/eval-apply/index.htm	fast-curry		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/index.htm	historyofhaskell		lambdabot
http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/	ifpl		lambdabot
http://research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm	ahoh		lambdabot
http://research.microsoft.com/~simonpj/papers/ptr-tag/index.htm	ptr-tag		lambdabot
http://strictlypositive.org/Idiom-abort.pdf	idiom	A trail told by an idiom (aborted) by Conor McBride at ... ;"Idioms: applicative programming with effects" ("too long") by ibid,Ross Paterson at ;"Applicative programming with effects" by ibid in 2008 at ,	lambdabot
http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf	theorems.for.free		lambdabot
http://www.cis.upenn.edu/~byorgey/papers/species-pearl.pdf	species	byorgey's paper : "Species and Functors and Types, Oh My!" at ... by Brent Yorgey in 2010-09 [feel free to add more interesting papers]	lambdabot
http://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf	sieve		lambdabot
http://www.cs.indiana.edu/~sabry/papers/purelyFunctional.ps	purelyfunctional	What is a Purely Functional Language? at ... by Amr Sabry, 1998	lambdabot
http://www.cs.ru.nl/E.Poll/papers/durham97.pdf	erikpoll	Subtyping and Inheritance for Inductive Types in 1997 at ... "Subtyping and Inheritance for Categorical Datatypes" in 1997 at ,"A Coalgebraic Semantics of Subtyping" in 2000 at ,later version of that in 2001 at	lambdabot
http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html	whyfp	Why Functional Programming Matters by John Hughes in 1984 at ...	lambdabot
http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf	agdatut		lambdabot
http://www.haskell.org/pipermail/haskell/2004-June/014134.html	topology	topology in Haskell ... and "Synthetic topology of data types and classical spaces" by Martín Escardó	lambdabot
https://amturing.acm.org/award_winners/backus_0703524.cfm	backus	Can Programming Be Liberated from the von Neumann Style?: A Functional Style and Its Algebra of Programs (Turing Award lecture) by John Warner Backus in 1977-10-17 at ...	lambdabot
https://arxiv.org/pdf/1302.6946.pdf	ski-papers		lambdabot
https://hackage.haskell.org/package/syb	syb	,,`SYB-papers',,,	lambdabot
https://homepages.inf.ed.ac.uk/wadler/topics/monads.html	wadler-monads	Monad(ic (, idiomatic/applicative and arrow) effects) introduction papers by Philip Wadler in 1992-01 - 2010 at ... . Start from oldest. Perhaps skip the ones touching upon composable continuations, idioms, constraints, arrows, on a first read	lambdabot
https://web.archive.org/web/20221208185730/https://www-users.mat.umk.pl/~fly/materialy/fp/haskell-doc/Monads.html	hell-monads	What the hell are Monads? by Noel Winstanley in 1999-02 at ... . Possibly the first (non-paper) general monad tutorial	lambdabot
https://www.cs.indiana.edu/~sabry/papers/purelyFunctional.ps	purely-functional	What is a Purely Functional Language? by Amr Sabry in 1993-01 at ...	lambdabot
https://www.haskell.org/haskellwiki/Research_papers/Generics	generics	`SYB',`Compos',`uniplate',`multiplate',`Plated',`Stratego',`Strafunski',`recursion-schemes',`polytypic',`GenericHaskell', ...	lambdabot
https://www.macs.hw.ac.uk/~fairouz/forest/papers/conference-publications/lsfa14.pdf	skalpel	Skalpel: A Type Error Slicer for SML by Vincent Rahli,Joe Wells,John Pirie,Fairouz Kamareddine in 2014 at ... also see ,	lambdabot
https://www.microsoft.com/en-us/research/publication/scrap-your-boilerplate-a-practical-approach-to-generic-programming/	syb-papers	,	lambdabot

Haskell Links Library