EasyChair Smart Slide
 
Principled and pragmatic specification of programming languages
 
1
2
3
4
5
6
1
2
3
4