| 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 ... http://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf |
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 |
http://conal.net/papers/push-pull-frp/,https://stackoverflow.com/questions/5875929/specification-for-a-functional-reactive-programming-language#5878525 |
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 ... http://mauke.dyndns.org/stuff/papers/prepose.pdf |
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 http://strictlypositive.org/Idiom.pdf;"Applicative programming with effects" by ibid in 2008 at http://strictlypositive.org/IdiomLite.pdf,http://www.staff.city.ac.uk/~ross/papers/Applicative.html |
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 http://www.cs.ru.nl/E.Poll/papers/kyoto97.pdf,"A Coalgebraic Semantics of Subtyping" in 2000 at http://www.cs.ru.nl/E.Poll/papers/cmcs00.pdf,later version of that in 2001 at http://www.cs.ru.nl/E.Poll/papers/ita01.pdf |
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" http://www.cs.bham.ac.uk/~mhe/papers/entcs87.(pdf|dvi|ps) 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 ... http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf |
lambdabot |
| https://arxiv.org/pdf/1302.6946.pdf |
ski-papers |
|
lambdabot |
| https://hackage.haskell.org/package/syb |
syb |
http://www.haskell.org/haskellwiki/Scrap_your_boilerplate,https://www.haskell.org/haskellwiki/Applications_and_libraries/Generic_programming/SyB,`SYB-papers',http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/,http://homepages.cwi.nl/~ralf/syb2/,http://homepages.cwi.nl/~ralf/syb3/ |
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 ... https://web.archive.org/web/19991018214519/http://www.dcs.gla.ac.uk/~nww/Monad.html. 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', ... https://www.haskell.org/haskellwiki/Applications_and_libraries/Generic_programming |
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 https://web.archive.org/web/20220617202754/http://www.macs.hw.ac.uk/ultra/skalpel/,https://github.com/ultra-group/skalpel |
lambdabot |
| https://www.microsoft.com/en-us/research/publication/scrap-your-boilerplate-a-practical-approach-to-generic-programming/ |
syb-papers |
https://www.microsoft.com/en-us/research/publication/scrap-your-boilerplate-with-class/,http://www.sigplan.org/Awards/ICFP/#2014_Ralf_L%C3%A4mmel_and_Simon_Peyton_Jones |
lambdabot |
Haskell Links