6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
James Laird
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied Syst…