Coinductive big-step operational semantics (2006)

by X Leroy
Venue:In Programming Languages and Systems: Proceedings of the 15th European Symposium on Programming, ESOP 2006