Back to Results
First PageMeta Content
Object-oriented programming / Computability theory / Theoretical computer science / Programming idioms / Type theory / Functor / Subtyping / Combinatorial species / Lambda calculus / Monad / Recursion / Is-a


Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu
Add to Reading List

Document Date: 2015-08-09 21:04:41

Open Document

File Size: 244,21 KB

Share Result on Facebook