Eliminating dependent pattern matching without K

JESPER COCKX, DOMINIQUE DEVRIESE, FRANK PIESSENS

Informatics and Applied Informatics

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

1 results
- Title(descending)
- Award date

EAPLS PhD Disseration Award 2017/18
Cockx, Jesper (Recipient), Devriese, Dominique (Recipient) & Piessens, Frank (Recipient), 18 Dec 2018
Prize: Prize (including medals and awards)