Sciweavers

MPC
1998
Springer
83views Mathematics» more  MPC 1998»
14 years 3 months ago
Nested Datatypes
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
Richard S. Bird, Lambert G. L. T. Meertens