Login / Signup

Generic lookup and update for infinitary inductive-recursive types.

Larry DiehlTim Sheard
Published in: TyDe@ICFP (2016)
Keyphrases