List of works - Joachim Breitner - Paulina

List of works by Joachim Breitner

Bringing the WebAssembly Standard up to Speed with SpecTec

scientific article published on 20 June 2024

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

scientific article published on 31 August 2023

The Verse Calculus: a Core Calculus for Functional Logic Programming ⬇️

description of the Verse programming language

Paulina is supported by:

About Paulina

Help