| | Programming language semantics: It's easy as 1,2,3 [pdf] (nott.ac.uk) |
|
4 points by todsacerdoti 44 days ago | past | 1 comment
|
|
| | A Relational Derivation of a Functional Program (1992) [pdf] (nott.ac.uk) |
|
2 points by sargstuff 56 days ago | past
|
|
| | Calculating Compilers Effectively [pdf] (nott.ac.uk) |
|
2 points by matt_d 4 months ago | past
|
|
| | Beyond Trees: Calculating Graph-Based Compilers [pdf] (nott.ac.uk) |
|
1 point by matt_d 6 months ago | past
|
|
| | Programming in Haskell – 2nd Edition (nott.ac.uk) |
|
4 points by whereistimbo 7 months ago | past
|
|
| | Cutting Out Continuations [pdf] (nott.ac.uk) |
|
4 points by fanf2 8 months ago | past
|
|
| | Advanced Functional Programming Free Course (nott.ac.uk) |
|
50 points by agomez314 9 months ago | 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
|
|
| | Programming in Haskell (nott.ac.uk) |
|
2 points by mmirate on Aug 21, 2018 | past
|
|
| | Monadic Parsing in Haskell [pdf] (nott.ac.uk) |
|
4 points by ingve on June 3, 2018 | past
|
|
|
|
More |
