lens
From MaRDI portal
Software:25589
No author found.
Related Items (5)
Higher-Ranked Annotation Polymorphic Dependency Analysis ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Open Diagrams via Coend Calculus ⋮ A representation theorem for second-order functionals ⋮ Leveraging the information contained in theory presentations
This page was built for software: lens
