Stem chocol$ (all stems)
2 papers:
- CHI-2012-KehrHLD #self
- A transformational product to improve self-control strength: the chocolate machine (FK, MH, ML, SD), pp. 689–694.
- POPL-1994-Bloom #communication #higher-order #named #λ-calculus
- CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (BB), pp. 339–347.