Published August 6, 2025 | Version 1.0
Software Open

Haskell and Agda code for the article "The Calculated Typer"

Creators

  • 1. ROR icon University of Nottingham
  • 2. ROR icon IT University of Copenhagen

Description

Haskell and Agda code for the article "The Calculated Typer"

Files

Code.zip

Files (53.3 kB)

Name Size Download all
md5:1c6c302fd89b8a882d9bddae48dc8186
53.3 kB Preview Download

Additional details

Related works

Is referenced by
Conference paper: 10.1145/3759164.3759346 (DOI)

Funding

UK Research and Innovation
Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers EP/Y010744/1