research
∙
01/13/2022
Translation Certification for Smart Contracts
Compiler correctness is an old problem, but with the emergence of smart ...
share
research
∙
08/30/2021
Embedded Pattern Matching
Haskell is a popular choice for hosting deeply embedded languages. A rec...
research
∙
05/12/2021
