H
F
Articles from simon.peytonjones.org
Articles from simon.peytonjones.org
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Articles from
simon.peytonjones.org
The Verse Calculus: a Core Calculus for Functional Logic Programming (pdf)
(
simon.peytonjones.org
)
2023-11-22
Functional
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 !
(
simon.peytonjones.org
)
2023-4-5
Functional
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 !
(
simon.peytonjones.org
)
2023-3-26
Functional
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 !
(
simon.peytonjones.org
)
2023-3-15
Functional
programming
The Verse Calculus: a Core Calculus for Functional Logic Programming (details on Epic Games/Simon Peyton Jones' new language)
(
simon.peytonjones.org
)
2023-1-2
Beyond Functional Programming: The Verse Programming Language (Epic Games' new language with Simon Peyton Jones)
(
simon.peytonjones.org
)
2022-12-12
Functional
programming
The Verse Calculus: a Core Calculus for Functional Logic Programming
(
simon.peytonjones.org
)
2022-12-12
Functional
programming
Previous Page
Next Page