First Page | Document Content | |
---|---|---|
Date: 2015-08-09 21:04:41Object-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 MuAdd to Reading ListSource URL: i.cs.hku.hkDownload Document from Source WebsiteFile Size: 244,21 KBShare Document on Facebook |