Calculating Sized Types (2001)

by Wei-ngan Chin , Siau-cheng Khoo
Venue:Higher-Order and Symbolic Computation
Citations:52 - 10 self