research
∙
09/13/2023
Deriving Abstract Interpreters from Skeletal Semantics
This paper describes a methodology for defining an executable abstract i...
share
research
∙
05/13/2022
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
We present fully abstract encodings of the call-by-name and call-by-valu...
research
∙
09/25/2018
