Coinductive big-step operational semantics (2006)

by Xavier Leroy
Venue:In European Symposium on Programming (ESOP 2006
Citations:36 - 5 self