Tag Archives: Computer Science

Sequent Calculus as a Compiler Intermediate Language

The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born a [...]

Flux – Ulm University

Fλux Flux is an ongoing project to visualize Haskell programs as data-flow diagrams. Its main goal is to improve program understanding and [...]

Resource Polymorphism

We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime m [...]
Aasemoon © 1992 - 2022
-->