Login / Signup

Delta Lenses over Inductive Types.

Hugo PachecoAlcino CunhaZhenjiang Hu
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases