000 02192cam a22003014a 4500
001 u2561
003 SA-PMU
005 20210418125016.0
008 010726s2002 maua b 001 0 eng
010 _a 2001044428
040 _aDLC
_cDLC
_dC#P
_dUKM
_dNOR
_dMUQ
_dOCLCQ
_dBAKER
_dNLGGC
_dYDXCP
_dBTCTA
_dAU@
_dIG#
_dUBA
_dSTF
020 _a0262162091 (hc. : alk. paper)
020 _a9780262162098 (hc. : alk. paper)
035 _a(OCoLC)47705787
042 _apcc
050 0 0 _aQA76.7
_b.P54 2002
082 0 0 _a005.13
_222
100 1 _aPierce, Benjamin C.
245 1 0 _aTypes and programming languages /
_cBenjamin C. Pierce.
260 _aCambridge, Mass. :
_bMIT Press,
_c2002.
300 _axxi, 623 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references (p. [567]-603) and index.
505 0 0 _g1.
_tIntroduction --
_g2.
_tMathematical preliminaries --
_g[pt]. 1.
_tUntyped systems --
_g3.
_tUntyped arithmetic expressions --
_g4.
_tAn ML implementation of arithmetic expressions --
_g5.
_tThe untyped Lambda-calculus --
_g6.
_tNameless representation of terms --
_g7.
_tAn ML implementation of the Lambda-calculus --
_g[pt]. 2.
_tSimple types --
_g8.
_tTyped arithmetic expressions --
_g9.
_tSimply typed Lambda-calculus --
_g10.
_tAn ML implementation of simple types --
_g11.
_tSimple extensions --
_g12.
_tNormalization --
_g13.
_tReferences --
_g14.
_tExceptions -
_g[pt]. 3.
_tSubtyping --
_g15.
_tSubtyping --
_g16.
_tMetatheory of subtyping --
_g17.
_tAn ML implementation of subtyping --
_g18.
_tCase study : imperative objects --
_g19.
_tCase study : featherweight Java --
_g[pt]. 4.
_tRecursive types --
_g20.
_tRecursive types --
_g21.
_tMetatheory of recursive types --
_g[pt.]. 5.
_tPolymorphism --
_g22.
_tType reconstruction --
_g23.
_tUniversal types --
_g24.
_tExistential types --
_g25.
_tAn ML implementation of system F --
_g26.
_tBounded quantification --
_g27.
_tCase study : imperative objects, redux --
_g28.
_tMetatheory of bounded quantification --
_g[pt]. 6.
_tHigher-order systems --
_g29.
_tType operators and kinding --
_g30.
_tHigher-order polymorphism --
_g31.
_tHigher-order subtyping.
650 0 _aProgramming languages (Electronic computers)
942 _cBOOK
994 _aZ0
_bSUPMU
596 _a1 2
999 _c10874
_d10874