Paolo G. Giarrusso

icon indicating a website link http://blaisorblade.github.io/ icon indicating an email [email protected]

icon company Bedrock Systems Inc. icon location Berlin, Germany icon location Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Results 2 repositories owned by Paolo G. Giarrusso

abt

19
Stars
0
Forks
Watchers

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

verified publisher icon Blaisorblade

dot-iris

31
Stars
1
Forks
Watchers

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

verified publisher icon Blaisorblade