000 00746nam a2200229Ia 4500
003 OSt
005 20230927095305.0
008 210716s2005 xx 000 0 und d
020 _a9788120327924
040 _cAIMIT LIBRARY
041 _aeng
082 _a005.13
_21
_bPIEB
100 _aPierce, Benjamin C.
_9135263
245 _aAdvanced topics in types and programming languages /
_cEdited by Benjamin C Pierce.
250 _a1
260 _aNew Delhi :
_bPrentice Hall of India PVt Ltd ,
_c2005.
300 _axiii,574p. ;
650 _aEffect types and region based memory management
_9135264
650 _aTypes for programming in the large
_9135265
650 _aType interference
_9135266
942 _2ddc
_cBK
_e1st ed.
_k005.13 PIEB
999 _c187354
_d187354