Login / Signup

Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).

Suresh Jagannathan
Published in: FSTTCS (2015)
Keyphrases