<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>00746nam a2200229Ia 4500</leader>
  <controlfield tag="003">OSt</controlfield>
  <controlfield tag="005">20230927095305.0</controlfield>
  <controlfield tag="008">210716s2005    xx            000 0 und d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9788120327924</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="c">AIMIT LIBRARY</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">005.13 </subfield>
    <subfield code="2">1</subfield>
    <subfield code="b">PIEB</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Pierce, Benjamin C.</subfield>
    <subfield code="9">135263</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Advanced topics in types and programming languages /</subfield>
    <subfield code="c">Edited by Benjamin C Pierce.</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">1</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New Delhi :</subfield>
    <subfield code="b">Prentice Hall of India PVt Ltd ,</subfield>
    <subfield code="c">2005.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiii,574p. ;</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Effect types and region based memory management</subfield>
    <subfield code="9">135264</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Types for programming in the large</subfield>
    <subfield code="9">135265</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Type interference</subfield>
    <subfield code="9">135266</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BK</subfield>
    <subfield code="e">1st ed.</subfield>
    <subfield code="k">005.13 PIEB</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">187354</subfield>
    <subfield code="d">187354</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">MCA</subfield>
    <subfield code="a">AIMIT</subfield>
    <subfield code="b">AIMIT</subfield>
    <subfield code="e">Sita Book House</subfield>
    <subfield code="g">425.00</subfield>
    <subfield code="i">Bill no:152; Bill dt:2005-09-12</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.13 PIEB</subfield>
    <subfield code="p">MCA06862</subfield>
    <subfield code="r">2025-07-21 00:00:00</subfield>
    <subfield code="v">340.00</subfield>
    <subfield code="w">2021-07-16</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
