Featured manuscripts and drafts

Solvability in a polarized calculus

Operational characterization of solvability in a bi-typed λ-calculus with mixed evaluation order
Draft

Untyped polarized calculi

Introduction to a polarized abstract-machine-like calculi, and explanation of its relationship with call-by-push-value
Draft

Untyped polarized calculi

Thesis v0.9.3

Featured talks

Frame Type Theory

Unifying records, sections and modules in a dependent type theory
Thu, Jun 13, 2019 11:00 — 11:15 Ingeniørenes Hus Møtesenter
Abstract Slides (light) Slides (dark) Slides (initial version)