Functional and linear-updating interfaces Shiro Kawai 31 May 2021 11:05 UTC