Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010.
AP/DJ AP: a generic technology DJ: a low-learning-curve implementation of AP.
GLib .
AP/DJ
Coms w3134 Midterm Review
CSE 332 Data Abstractions: Introduction to Parallelism and Concurrency