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

Reply via email to