00383cam a22001214a 4500020001500000082001400015245005700029260004300086300002700129650004900156856004800205040000800253  a026216228800a005.13PIE00aAdvanced Topics in Types and Programming Languages /  aNew DelhibPierce, Benjamin C.cc2005.  axiii, 574 p. :bill. ; 0aProgramming languages (Electronic computers)  uhttp://10.10.170.122:8080/browse/book/21064  cDLC