Skip to content

Declarative Pearl: Rigged Contracts.

Alexander Vandenbroucke, Tom Schrijvers

Year2024
ProceedingsFLOPS

Browse the full FLOPS paper archive.