“Stories” are use cases of SLEBoK (not to be confused with the use cases of SLE!). They are intended to exercise the SLEBoK API.

Work in progress. If you want to join, contact @grammarware, @rlaemmel or @steimann.

• A Prological Reconstruction of Featherweight Java from TAPL

---

The website is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: March 2021.