Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrey Mokhov
Selective Applicative Functors
Proceedings of the ACM on Programming Languages
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Formal Design and Verification of an Asynchronous SRAM Controller
Algebraic Graphs With Class (Functional Pearl)
