activity
20202023
most citedTask-Specific Expert Pruning for Sparse Mixture-of-Experts

9 citations · 10 across the 7 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.PL2020

Parameterized Cast Calculi and Reusable Meta-theory for Gradually Typed Lambda Calculi

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…