Advanced topics in types and programming languages /
Edited by Benjamin C Pierce.
- 1
- New Delhi : Prentice Hall of India PVt Ltd , 2005.
- xiii,574p. ;
9788120327924
Effect types and region based memory management Types for programming in the large Type interference