First Page | Document Content | |
---|---|---|
Date: 2013-11-21 03:21:54Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language | Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn LisperAdd to Reading ListSource URL: www.idt.mdh.seDownload Document from Source WebsiteFile Size: 23,47 KBShare Document on Facebook |