<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Types and programming languagues</title>
  </titleInfo>
  <name type="personal">
    <namePart>Pierce, Benjamin C.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">-us</placeTerm>
    </place>
    <place>
      <placeTerm type="text">USA</placeTerm>
    </place>
    <publisher>The MIT Press</publisher>
    <dateIssued>2002</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <extent>xxi, 623 pages.</extent>
  </physicalDescription>
  <note type="statement of responsibility">Benjamin C. Pierce.</note>
  <note>References (pages: [567]-603) and index.</note>
  <note>English</note>
  <subject authority="">
    <topic>Programming</topic>
  </subject>
  <subject authority="">
    <topic>Programación</topic>
  </subject>
  <subject authority="localuoh">
    <topic>Programming languaje</topic>
  </subject>
  <subject authority="localuoh">
    <topic>Lenguajes de programación</topic>
  </subject>
  <classification authority="ddc">005.13 P615t 2002</classification>
  <identifier type="isbn">9780262162098</identifier>
  <identifier type="uri">https://itmsp.museknowledge.com/UOH?qurl=https://libros-uoh.uoh.cl/ebook/004176-Types-and-programming-languajes </identifier>
  <location>
    <url displayLabel="VER LIBRO DIGITAL BIBLIOGRAFÍA BÁSICA.">https://itmsp.museknowledge.com/UOH?qurl=https://libros-uoh.uoh.cl/ebook/004176-Types-and-programming-languajes </url>
  </location>
  <recordInfo>
    <recordContentSource authority="marcorg">clrauoh</recordContentSource>
    <recordCreationDate encoding="marc">211116</recordCreationDate>
    <recordChangeDate encoding="iso8601">20250825174904.0</recordChangeDate>
    <recordIdentifier source="SIRSI">u2931</recordIdentifier>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
