Hacker News
- The Discoveries of Continuation [pdf] https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/reynolds-discoveries.pdf 6 comments
- A Theory of Type Polymorphism in Programming (1977) [pdf] https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf 6 comments
- Monads for functional programming (1995) [pdf] http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf 49 comments
- Simplicity and Michelson http://homepages.inf.ed.ac.uk/wadler/simplicity-and-michelson.html 3 comments
- Expressive Power of SQL (2003) [pdf] http://homepages.inf.ed.ac.uk/libkin/papers/icdt01.pdf 18 comments
- Spreadsheet Programming with User Defined Types and Functions (2013) [pdf] http://homepages.inf.ed.ac.uk/dts/students/williams/report.pdf 16 comments
- Propositions as Types (2014) [pdf] http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 6 comments
- The Researcher's Bible (1985) http://homepages.inf.ed.ac.uk/bundy/how-tos/resbible.html 6 comments
Lobsters
- The Expression Problem (1998) http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt 2 comments java , programming
- Alternative to arrows? https://homepages.inf.ed.ac.uk/wadler/papers/arrows-jfp/arrows-jfp.pdf 24 comments haskell
- Reduction order in Wadler's "A Prettier Printer" https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf 4 comments haskell
- Question about jargon - abstraction via sealing - hiding constructors https://homepages.inf.ed.ac.uk/wadler/papers/turner-festschrift/turner-festschrift.pdf 12 comments haskell
- Typescript, The Next Generation https://homepages.inf.ed.ac.uk/wadler/typescript-tng-phd-advert.html 4 comments typescript
- How does frequency come into play when talking about Gaussian and Box filters applied on an image https://homepages.inf.ed.ac.uk/rbf/HIPR2/gsmooth.htm 5 comments computervision
- Seeking uses of / functions that operate on “separated conjunction” http://homepages.inf.ed.ac.uk/slindley/papers/hasochism.pdf 6 comments haskell
- A Haskell Lover's Plea http://homepages.inf.ed.ac.uk/wadler/poem.html 9 comments haskell
- How does automatic quasiquotation in Scala resolve ambiguities? http://homepages.inf.ed.ac.uk/wadler/papers/qdsl/facebook.pdf 25 comments scala
- Wadler: The expression problem http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt 3 comments programming
- Propositions as types (pdf) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 18 comments programming
- Basics of Machine Learning http://homepages.inf.ed.ac.uk/vlavrenk/iaml.html 8 comments coding
- Is there a Haskell implementation of the Lindley-Wadler-Yallop arrow calculus? http://homepages.inf.ed.ac.uk/wadler/papers/arrows-jfp/arrows-jfp.pdf 7 comments haskell
- Propositions as Types - [PDF] (Wadler, Version 8 - 2014) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 3 comments haskell
- A Practical Theory of Language-Integrated Query http://homepages.inf.ed.ac.uk/slindley/papers/practical-theory-of-linq.pdf 3 comments programming
- Handlers in action; Kammar, Lindley and Oury [PDF] http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf 12 comments haskell
- Embedding F: embed polymorphic domain specific languages in Haskell ,OCaml [pdf] http://homepages.inf.ed.ac.uk/slindley/papers/embedding-f-draft-june2012.pdf 3 comments ocaml
- Comprehending Monads, by Philip Wadler. "No knowledge of category theory is assumed." [PS] http://homepages.inf.ed.ac.uk/wadler/papers/monads/monads.ps 33 comments programming
- A cool, responsive Java applet for viewing the Mandelbrot set and associated Julia sets http://homepages.inf.ed.ac.uk/wadler/mandelbrot-maps/mmaps.html 10 comments math
- The Arrow Calculus: A new functional pearl (Wadler!) http://homepages.inf.ed.ac.uk/wadler/topics/links.html#arrows 10 comments programming
- The Two Envelopes Puzzle http://homepages.inf.ed.ac.uk/amos/doubleswap.html 49 comments reddit.com
- Philip Wadler: The essence of functional programming (1992 paper presenting monads) http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence.ps 6 comments programming
- Growing a language (Guy Steele, OOPSLA 98 Keynote) (pdf) http://homepages.inf.ed.ac.uk/wadler/documents/steele-oopsla98.pdf 2 comments programming
Lambda the Ultimate
- Propositions as Types http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 34 comments Fun , History , Theory
- Arrows generalise monads and idioms http://homepages.inf.ed.ac.uk/wadler/papers/arrows-and-idioms/arrows-and-idioms.pdf 7 comments Category Theory
- A located lambda calculus http://homepages.inf.ed.ac.uk/wadler/papers/located-lambda/located-lambda.pdf 7 comments Lambda Calculus , Parallel/Distributed
- Decidability of Higher Order Matching http://homepages.inf.ed.ac.uk/cps/lmcs.ps 2 comments Lambda Calculus , Theory
- First Class Relationships in an Object-oriented Language http://homepages.inf.ed.ac.uk/wadler/fool/program/final/4/4_Paper.pdf 14 comments OOP
- Computational Thinking http://homepages.inf.ed.ac.uk/wadler/compthink.html 4 comments Teaching & Learning
- Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming http://homepages.inf.ed.ac.uk/wadler/topics/monads.html 51 comments Guest Bloggers
- Links Slides http://homepages.inf.ed.ac.uk/wadler/linksetaps/ 25 comments LtU Forum
- Call-by-Name, Call-by Value and the Lambda Calculus http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf 10 comments Lambda Calculus