3 papers
cs.PL2026
The Functional Machine Calculus III: Control
Willem Heijltjes
The Functional Machine Calculus (Heijltjes 2022) is a new approach to unifying the imperative and functional programming paradigms. It extends the lambda-calculus, preserving the k…
cs.LO2025
Quantitative Types for the Functional Machine Calculus
Willem Heijltjes
The Functional Machine Calculus (FMC, Heijltjes 2022) extends the lambda-calculus with the computational effects of global mutable store, input/output, and probabilistic choice whi…
cs.LO2024
The Functional Machine Calculus III: Choice (Early Announcement)
Willem Heijltjes
The Functional Machine Calculus (Heijltjes 2022) is an extension of the lambda-calculus that preserves confluent reduction and typed termination, while enabling both call-by-name a…