9 citations · 10 across the 7 of their papers we have counts for
1 paper · 2 filters
Jeremy G. Siek
The research on gradual typing has led to many variations on the Gradually Typed Lambda Calculus (GTLC) of Siek and Taha (2006) and its underlying cast calculus. For example, Wadle…