Hacker News
- A multilinear singular value decomposition (2000) [pdf] http://citeseer.ist.psu.edu/viewdoc/download;jsessionid=1CADD9B520DD6B41383552BB7CAB0F2F?doi=10.1.1.102.9135&rep=rep1&type=pdf 5 comments
- Status of Stream Fusion in GHC libraries http://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.104.7401&rep=rep1&type=pdf 7 comments haskell
- The Matrix Cookbook. This was posted on r/statistics a few months ago, but it also deserves to be on r/math! http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.6244 4 comments math
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire http://citeseer.ist.psu.edu/cachedpage/214108/1 4 comments compsci
- Array SSA form and its use in Parallelization http://citeseer.ist.psu.edu/knobe98array.html 6 comments programming
- Purely functional random access lists: O(1) head, tail, cons, O(lg n) lookup, update http://citeseer.ist.psu.edu/okasaki95purely.html 141 comments programming
- First-Class Modules for Haskell http://citeseer.ist.psu.edu/480136.html 22 comments programming
- Incremental garbage collection using the Train algorithm http://citeseer.ist.psu.edu/seligmann95incremental.html 3 comments programming
- Memoization in Haskell http://citeseer.ist.psu.edu/peytonjones99stretching.html 4 comments programming
- The Under-Appreciated Unfold Function http://citeseer.ist.psu.edu/gibbons98underappreciated.html 6 comments programming
- What about the natural numbers? or, Why Integer/Int should be lazy http://citeseer.ist.psu.edu/45669.html 7 comments programming
- Controlling effects using call/cc rather than monads http://citeseer.ist.psu.edu/filinski96controlling.html 11 comments programming
- Haskell support for value semantics: unboxed values as first class citizens http://citeseer.ist.psu.edu/2479.html 37 comments programming
- Lambda Calculi with Types - Barendregt http://citeseer.ist.psu.edu/barendregt92lambda.html 6 comments programming
- Prolog actually *can* be efficient (if you know what you're doing) [PDF] http://citeseer.ist.psu.edu/cache/papers/cs/3039/ftp:zszzszai.uga.eduzszpubzszai.reportszszai198908.pdf/covington89efficient.pdf 17 comments programming
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire http://citeseer.ist.psu.edu/meijer91functional.html 6 comments programming
- An Introduction to the Lambda Calculus http://citeseer.ist.psu.edu/cache/papers/cs/11978/http:zszzszwww.cs.kun.nlzsz~erikbzszt2zszdictaatzszt2.pdf/barendregt94introduction.pdf 3 comments programming
- Region-Based Memory Management http://citeseer.ist.psu.edu/tofte97regionbased.html 2 comments programming
- Wadler - Theorems for Free http://citeseer.ist.psu.edu/wadler89theorems.html 2 comments programming
- Haskell vs. Ada vs. C++ vs. Awk vs. ..., An Experiment in Software Prototyping Productivity http://citeseer.ist.psu.edu/hudak94haskell.html 2 comments programming
- Implementing Distributed Systems Using Linear Naming - Bawden (ResearchIndex) http://citeseer.ist.psu.edu/bawden93implementing.html 2 comments programming
- Write a theorem prover in Haskell (pdf) http://citeseer.ist.psu.edu/cache/papers/cs/5363/http:zszzszwww.ki.informatik.uni-frankfurt.dezsz~panitzzszpaperzszrussian.pdf/theorem-proving-in-a.pdf 2 comments programming
- Monads for Functional Programming - Wadler http://citeseer.ist.psu.edu/wadler95monads.html 4 comments programming
Lambda the Ultimate
- One Pass Real-Time Generational Mark-Sweep Garbage Collection http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.7791 20 comments Implementation
- Logical Algorithms http://citeseer.ist.psu.edu/ganzinger02logical.html 5 comments Logic/Declarative
- Register Allocation by Proof Transformation http://citeseer.ist.psu.edu/650314.html 5 comments Implementation , Lambda Calculus , Type Theory
- When Is A Functional Program Not A Functional Program? http://citeseer.ist.psu.edu/longley99when.html 30 comments Functional , Semantics
- A Model for Formal Parametric Polymorphism: A PER Interpretation for System R http://citeseer.ist.psu.edu/96857.html 3 comments Theory
- Natural Deduction for Intuitionistic Non-Commutative Linear Logic http://citeseer.ist.psu.edu/polakow99natural.html 0 comments Lambda Calculus , Type Theory
- Theory and Practice of Constraint Handling Rules http://citeseer.ist.psu.edu/216100.html 3 comments Logic/Declarative , Semantics
- CLL: A Concurrent Language Built from Logical Principles http://citeseer.ist.psu.edu/garg05cll.html 2 comments Logic/Declarative , Semantics , Type Theory
- Foundations Of Temporal Query Languages http://citeseer.ist.psu.edu/37369.html 0 comments Logic/Declarative
- Programming Parallel Algorithms http://citeseer.ist.psu.edu/36476.html 1 comment Parallel/Distributed
- Constraint Programming http://citeseer.ist.psu.edu/group96constraint.html 2 comments Logic/Declarative , Parallel/Distributed , Semantics
- Programming Paradigms of the Andorra Kernel Language http://citeseer.ist.psu.edu/janson91programming.html 2 comments Logic/Declarative
- Variables as Channels http://citeseer.ist.psu.edu/502831.html 12 comments Functional , Object-Functional , OOP
- Recovering resources in the pi-calculus http://citeseer.ist.psu.edu/673314.html 6 comments Parallel/Distributed , Theory
- Foundational Calculi for Programming Languages (intro) http://citeseer.ist.psu.edu/pierce95foundational.html 0 comments Lambda Calculus , Parallel/Distributed
- The pi-Calculus in Direct Style http://citeseer.ist.psu.edu/142345.html 2 comments Lambda Calculus
- Subcontinuations http://citeseer.ist.psu.edu/hieb93subcontinuations.html 1 comment Parallel/Distributed