1. Reasoning about multi-stage programs*. (7th November 2016) Authors: INOUE, JUN; TAHA, WALID Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗