Search filters

List of works by Lennart Augustsson

MicroHs: A Small Compiler for Haskell

scientific article published on 28 August 2024

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

scientific article published on 31 August 2023

Paulina is supported by:

About Paulina

Help