| Record ID | marc_nuls/NULS_PHC_180925.mrc:138772669:1358 |
| Source | marc_nuls |
| Download Link | /show-records/marc_nuls/NULS_PHC_180925.mrc:138772669:1358?format=raw |
LEADER: 01358cam 2200301 a 4500
001 9920156680001661
005 20150423124658.0
008 951002s1996 maua b 001 0 eng
010 $a 95045243
015 $aGB96-81289
019 $a36085741
020 $a0262133210 (hc : alk. paper)
035 $a(CSdNU)u61486-01national_inst
035 $a(OCoLC)33277643
035 $a(Sirsi) 01-AAG-5730
040 $aDLC$cDLC$dUKM
049 $aCNUM
050 00 $aQA76.7$b.M57 1996
100 1 $aMitchell, John C.
245 10 $aFoundations for programming languages /$cJohn C. Mitchell.
260 $aCambridge, Mass. :$bMIT Press,$cc1996.
300 $axix, 846 p. :$bill. ;$c24 cm.
440 0 $aFoundations of computing
504 $aIncludes bibliographical references (p. [817]-836) and index.
505 0 $aThe language PCF -- Universal algebra and algebraic data types -- Simply-typed lambda calculus -- Models of typed lambda calculus -- Imperative programs -- Categories and recursive types -- Logical relations -- Polymorphism and modularity -- Subtyping and related concepts -- Type inference.
650 0 $aProgramming languages (Electronic computers)
948 $a10/13/1999$b10/13/1999
999 $aQA 76.7 M57 1996$wLC$c1$i31786100901815$d10/7/2012$e10/4/2012 $f6/22/2004$g1$lCIRCSTACKS$mNULS$n1$rY$sY$tBOOK$u8/11/1997$o.STAFF. Pieces: 00001