A Type-Checking Preprocessor for Cilk 2, A Multi-threaded C Language (1995)

by R C Miller