[ACM Press the 8th ACM SIGPLAN workshop
β
Hinze, Ralf; James, Daniel W.H.; Harper, Thomas; Wu, Nicolas; MagalhΓ£es, JosΓ© Pe
π
Article
π
2012
π
ACM Press
β 597 KB