Paolo G. Giarrusso Blaisorblade

• Bedrock Systems Inc.

• Berlin, Germany
• http://blaisorblade.github.io/

Organizations

Pinned Loading

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

   HTML 37 1

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

   Scala 19

3. My Agda experiments

   Agda 12 2

4. A Functional Correspondence between Evaluators and Abstract Machines

   Haskell 8

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

   Scala 8 1