A type-checking preprocessor for Cilk 2, a multithreaded C language (1995)

by R C Miller
Venue:Master’s thesis, MIT