communications201103-dl
Tribute
Sage Book
A Practical Theory of Programming
Els 2014
Embedding an Interpreted Language Using Higher-Order Functions and Types
Reusable Monadic Semantics of Object Oriented
c3edu
Overload 120
sat0w
VSI Manifesto