Pinned Loading

1. dot-iris dot-iris Public

   Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

   HTML 37 1

2. abt abt Public

   Implementing Abstract Binding Trees (in Scala, ...)

   Scala 19

3. Agda-playground Agda-playground Public

   My Agda experiments

   Agda 12 2

4. evalFromToAbsMachines evalFromToAbsMachines Public

   A Functional Correspondence between Evaluators and Abstract Machines

   Haskell 8

5. hoas-with-names hoas-with-names Public

   Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*

   Scala 8 1