C-Lenses Explained: Bx Foundations for the Rest of UsAnthony AnjorinHsiang-Shang Ko0Erhan LeblebiciIAV GmbHGermanyInstitute of Information Science
,
Academia Sinica
,
Taiwan-
1. Introduction
2. State-based bx
Get :
→ , →↦−Get
5. Universal updates
6. Related work
7. Conclusion and future work