First Page | Document Content | |
---|---|---|
Date: 2014-08-31 12:01:17Data types Functional programming Type theory Recursion Functional languages Append Algebraic data type Map Fold Software engineering Computing Computer programming | Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier RémyAdd to Reading ListSource URL: gallium.inria.frDownload Document from Source WebsiteFile Size: 265,64 KBShare Document on Facebook |