73 citations · 76 across the 3 of their papers we have counts for
1 paper · 2 filters
David M. Rogers
We present a C-language implementation of the lambda-pi calculus by extending the (call-by-need) stack machine of Ariola, Chang and Felleisen to hold types, using a typeless- tagle…