Research output

1. Relational Synthesis for Pattern Matching

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

2. Relational Interpreters for Search Problems.

   Research output: Contribution to conference › Abstract

3. Typed Relational Conversion

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (3) »