Login / Signup

Dualizing Generalized Algebraic Data Types by Matrix Transposition.

Klaus OstermannJulian Jabs
Published in: ESOP (2018)
Keyphrases