![](/img/cover-not-exists.png)
Types and trace effects of higher order programs
SKALKA, CHRISTIAN, SMITH, SCOTT, VAN HORN, DAVIDVolume:
18
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796807006466
Date:
March, 2008
File:
PDF, 437 KB
english, 2008