Stem erm$ (all stems)
2 papers:
- ICML-c3-2013-MineiroK
- Loss-Proportional Subsampling for Subsequent ERM (PM, NK), pp. 522–530.
- POPL-1994-Bloom #communication #higher-order #named #λ-calculus
- CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (BB), pp. 339–347.