Research Interests
 
  • Dependently typed programming
  • Datatype-generic programming
  • Program derivation
  • (Applied) type theory
  • Functional programming
  • Bidirectional programming
    		•
     
    		 
    bg