| 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 Martn 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://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.microsoft.com/en-us/research/publication/scrap-your-boilerplate-a-practical-approach-to-generic-programming/ |
syb-papers |
, |
lambdabot |
Haskell Links Library