| | Quotient Polymorphism [pdf] (nott.ac.uk) |
| 2 points by matt_d 67 days ago | past |
|
| | A tutorial on the universality and expressiveness of fold (1999) [pdf] (nott.ac.uk) |
| 4 points by Tomte 9 months ago | past |
|
| | Programming language semantics: It's easy as 1,2,3 [pdf] (nott.ac.uk) |
| 4 points by todsacerdoti on Oct 19, 2024 | past | 1 comment |
|
| | A Relational Derivation of a Functional Program (1992) [pdf] (nott.ac.uk) |
| 2 points by sargstuff on Oct 7, 2024 | past |
|
| | Calculating Compilers Effectively [pdf] (nott.ac.uk) |
| 2 points by matt_d on July 12, 2024 | past |
|
| | Beyond Trees: Calculating Graph-Based Compilers [pdf] (nott.ac.uk) |
| 1 point by matt_d on May 20, 2024 | past |
|
| | Programming in Haskell – 2nd Edition (nott.ac.uk) |
| 4 points by whereistimbo on April 26, 2024 | past |
|
| | Cutting Out Continuations [pdf] (nott.ac.uk) |
| 4 points by fanf2 on March 31, 2024 | past |
|
| | Advanced Functional Programming Free Course (nott.ac.uk) |
| 50 points by agomez314 on March 3, 2024 | past | 5 comments |
|
| | Introduction to Formal Reasoning (nott.ac.uk) |
| 3 points by dargscisyhp on Oct 12, 2023 | past |
|
| | Programming Language Semantics: It’s Easy As 1,2,3 [pdf] (nott.ac.uk) |
| 4 points by matt_d on Sept 25, 2023 | past |
|
| | Programming Language Semantics: It's Easy As 1, 2, 3 [pdf] (nott.ac.uk) |
| 3 points by Smaug123 on Sept 24, 2023 | past |
|
| | Calculating Compilers for Concurrency [pdf] (nott.ac.uk) |
| 4 points by matt_d on May 19, 2023 | past |
|
| | DIY Type Theory [pdf] (nott.ac.uk) |
| 1 point by bmer on Nov 22, 2022 | past |
|
| | Call-by-Need Is Clairvoyant Call-by-Value (2019) [pdf] (nott.ac.uk) |
| 1 point by todsacerdoti on Aug 13, 2022 | past | 1 comment |
|
| | Monadic Compiler Calculation [pdf] (nott.ac.uk) |
| 2 points by matt_d on May 22, 2022 | past |
|
| | Introduction to Category Theory (nott.ac.uk) |
| 3 points by holonomically on Nov 19, 2021 | past | 1 comment |
|
| | Triroff: Adaptation of troff for formatting tri-directional text (1989) [pdf] (nott.ac.uk) |
| 2 points by breck on Nov 19, 2021 | past |
|
| | Calculating Dependently-Typed Compilers [pdf] (nott.ac.uk) |
| 1 point by matt_d on May 9, 2021 | past |
|
| | It’s Easy As 1,2,3 [pdf] (nott.ac.uk) |
| 2 points by ingve on Jan 5, 2021 | past |
|
| | It's Easy As 1,2,3 [pdf] (nott.ac.uk) |
| 1 point by bidirectional on Jan 4, 2021 | past |
|
| | It's easy as 1,2,3 – arithmetic expressions and programming language semantics (nott.ac.uk) |
| 3 points by matt_d on Jan 4, 2021 | past |
|
| | Martin Hofmann’s Contributions to Type Theory: Groupoids and Univalence [pdf] (nott.ac.uk) |
| 3 points by g0xA52A2A on Aug 24, 2020 | past |
|
| | Principles of Programming Languages (1997) [pdf] (nott.ac.uk) |
| 99 points by matt_d on July 4, 2020 | past | 12 comments |
|
| | Dependently-Typed Compilers Don't Go Wrong (nott.ac.uk) |
| 1 point by matt_d on July 4, 2020 | past |
|
| | Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell [pdf] (nott.ac.uk) |
| 3 points by matt_d on Oct 10, 2019 | past |
|
| | Calculating Correct Compilers II: Return of the Register Machines [pdf] (nott.ac.uk) |
| 1 point by matt_d on Sept 25, 2019 | past |
|
| | Monadic parsing in Haskell (1998) [pdf] (nott.ac.uk) |
| 74 points by tosh on Sept 3, 2019 | past | 2 comments |
|
| | A tutorial on the universality and expressiveness of fold (1999) [pdf] (nott.ac.uk) |
| 2 points by rotcev on Aug 29, 2019 | past |
|
| | Call-by-need is clairvoyant call-by-value [pdf] (nott.ac.uk) |
| 2 points by fanf2 on June 24, 2019 | past |
|
|
| More |
