Hacker News
- Build systems a la carte: theory and practice (2020) https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/ 16 comments
- Sequent Calculus as a Compiler Intermediate Language (2016) [pdf] https://simon.peytonjones.org/assets/pdfs/sequent-calculus.pdf 7 comments
- Beyond Functional Programming: The Verse Programming Language [pdf] https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf 376 comments
- Verse Calculus: a Core Calculus for Functional Logic Programming [pdf] https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 3 comments
Lobsters
- The Verse Calculus: a Core Calculus for Functional Logic Programming https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 9 comments pdf , plt
- The Verse Calculus: a Core Calculus for Functional Logic Programming (pdf) https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 2 comments programming
- Verse programming language: The Verse Calculus: a Core Calculus for Functional Logic Programming (Functional Logic language developed by Epic Games).-- Thought some of you here might find it interesting! https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf 6 comments rust
- Verse programming language: HUGE update to doc: The Verse Calculus: a Core Calculus for Functional Logic Programming (Functional Logic language developed by Epic Games): Confluence proof of rewrite system, Updateable references and more ! https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf 13 comments programming
- Verse programming language: HUGE update to doc: The Verse Calculus: a Core Calculus for Functional Logic Programming (Functional Logic language developed by Epic Games): Confluence proof of rewrite system, Updateable references and more ! https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf 6 comments programminglanguages
- The Verse Calculus: a Core Calculus for Functional Logic Programming (details on Epic Games/Simon Peyton Jones' new language) https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 2 comments functionalprogramming
- The Verse Calculus: a Core Calculus for Functional Logic Programming (more details on Epic's new language) https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 22 comments programming
- Beyond Functional Programming: The Verse Programming Language (Epic Games' new language with Simon Peyton Jones) https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf 262 comments programming