![](/img/cover-not-exists.png)
Reasoning about multi-stage programs
INOUE, JUN, TAHA, WALIDVolume:
26
Year:
2016
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796816000253
File:
PDF, 972 KB
english, 2016