| | Functional Abstract Interpretation (peytonjones.org) |
| 5 points by matt_d 50 days ago | past |
|
| | The Epic Verse calculus: a core calculus for functional logic programming (peytonjones.org) |
| 7 points by fanf2 67 days ago | past |
|
| | The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (peytonjones.org) |
| 50 points by droideqa 3 months ago | past | 19 comments |
|
| | Build Systems à La Carte: Theory and Practice [pdf] (peytonjones.org) |
| 2 points by thenobsta on Aug 6, 2024 | past |
|
| | Build systems a la carte: theory and practice (2020) (peytonjones.org) |
| 102 points by transpute on March 20, 2024 | past | 16 comments |
|
| | Sequent Calculus as a Compiler Intermediate Language (2016) [pdf] (peytonjones.org) |
| 68 points by swatson741 on March 2, 2024 | past | 7 comments |
|
| | The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (peytonjones.org) |
| 2 points by harporoeder on April 18, 2023 | past |
|
| | Huge Update to Verse Programming Language: Verse Calculus doc (By Epic Games) (peytonjones.org) |
| 8 points by UnrealVerseGuru on March 14, 2023 | past | 1 comment |
|
| | Paper on the Core Calculus of the Verse Programming Language [pdf] (peytonjones.org) |
| 1 point by throwaway17_17 on Jan 3, 2023 | past |
|
| | The Verse Calculus: a core calculus for functional logic programming (peytonjones.org) |
| 2 points by felixr on Dec 12, 2022 | past |
|
| | Beyond Functional Programming: The Verse Programming Language [pdf] (peytonjones.org) |
| 491 points by WillPostForFood on Dec 11, 2022 | past | 376 comments |
|
| | Verse Calculus: a Core Calculus for Functional Logic Programming [pdf] (peytonjones.org) |
| 14 points by lispybanana on Dec 11, 2022 | past | 3 comments |
|
| | The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (peytonjones.org) |
| 4 points by vblanco on Dec 11, 2022 | past | 1 comment |
|
