Stem cake$ (all stems)
2 papers:
- POPL-2014-KumarMNO #implementation #ml #named
- CakeML: a verified implementation of ML (RK, MOM, MN, SO), pp. 179–192.
- OOPSLA-2004-GueheneucA #uml
- Recovering binary class relationships: putting icing on the UML cake (YGG, HAA), pp. 301–314.