2 Mar
2003
2 Mar
'03
12:52 p.m.
On Sun, 2 Mar 2003 10:16:12 +0200
"Cagdas Ozgenc"
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