On Sun, 2 Mar 2003 10:16:12 +0200 "Cagdas Ozgenc" <[EMAIL PROTECTED]> wrote:
> Could you give an intutive description of data construction In some form of typed lambda-calculus, you have the sum and product types. An example is PCF; see for example: http://citeseer.nj.nec.com/howard90operational.html Vincenzo _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
