Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
-
Bedrock Systems Inc.
- Berlin, Germany
- http://blaisorblade.github.io/
Pinned Loading
-
-
evalFromToAbsMachines
evalFromToAbsMachines PublicA Functional Correspondence between Evaluators and Abstract Machines
Haskell 8
-
hoas-with-names
hoas-with-names PublicRepresent functions using higher-order abstract syntax (HOAS) *using macros to save names*
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.