It provides full control over memory layout, uses a region-and-effect system to prevent memory hazards like escaping pointers, and supports various other useful features like subtyping:
http://lambda-the-ultimate.org/deca _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
