research
∙
10/23/2019
Towards a Complete Picture of Lens Laws
Bidirectional transformation, also called lens, has played important rol...
share
research
∙
01/30/2019
On properties of B-terms
B-terms are built from the B combinator alone defined by B≡λ f.λ g.λ x. ...
research
∙
09/27/2018
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -
Views are known mechanisms for controlling access of data and for sharin...
research
∙
03/18/2018