Symbolic Deadlock Analysis in Concurrent Libraries and their Clients (2009)

Creating a Computer Science Canon

ML Type Inference and Unification