The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf](simon.peytonjones.org)31 points by droideqa 1 year ago | 11 comments
Build systems a la carte: theory and practice (2020)(simon.peytonjones.org)78 points by transpute 2 years ago | 14 comments
Sequent Calculus as a Compiler Intermediate Language (2016) [pdf](simon.peytonjones.org)59 points by swatson741 2 years ago | 7 comments
![Screenshot of simon.peytonjones.org: The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]](https://hn.urlbox.com/shots/renders/2025/5/25/e92a2346-d6db-4a60-b098-b6e9dd028a79.jpg)
![Screenshot of simon.peytonjones.org: Sequent Calculus as a Compiler Intermediate Language (2016) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/3/d240bb84-c226-408c-a0b4-1fb416400df8.jpg)