Abstract
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent opt......
小提示:本篇文献需要登录阅读全文,点击跳转登录