Back to Results
First PageMeta Content
Functional programming / Type theory / Data types / Higher-order functions / Generic programming / Type class / Bidirectionalization / Function / ALGOL 68 / Software engineering / Computing / Computer programming


Semantic Bidirectionalization Revisited Meng Wang Shayan Najd Computer Science and Engineering
Add to Reading List

Document Date: 2015-02-28 19:38:47


Open Document

File Size: 579,25 KB

Share Result on Facebook
UPDATE