Sound-By-Construction Type Systems (Functional Pearl)
Patrick Bahr, Zac Garby, Graham Hutton
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Aug 2026
Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations
Compiler calculation is a technique for deriving a correct-by-construction compiler from the specification of the compiler's correctness. In this setting, the compiler specification typically states that the semantics of each compiled program is bisimilar to the semantics of the original source program, i.e. both progr...
Patrick Bahr
· Proc. ACM Program. Lang. · 0 citations