Skip to content
/ excomp Public

A certified compiler of exceptions from my thesis (Agda)

Notifications You must be signed in to change notification settings

ziman/excomp

Repository files navigation

Towards a verifiably correct compiler of expressions.
Loosely based on a paper by Graham Hutton: Compiling Exceptions Correctly

About

A certified compiler of exceptions from my thesis (Agda)

Resources

Stars

Watchers

Forks

Packages

No packages published