Login / Signup

The End of History? Using a Proof Assistant to Replace Language Design with Library Design.

Adam ChlipalaBenjamin DelawareSamuel DuchovniJason GrossClément Pit-ClaudelSorawit SuriyakarnPeng WangKatherine Ye
Published in: SNAPL (2017)
Keyphrases