Research outputs (10)

1. Published

   Galois Connections for Recursive Types

   Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

2. Published

   Foundational Analysis Techniques for High-Level Transformation Programs

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

3. Published

   Verification of high-level transformations with inductive refinement types

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (10) »