MARC record from Internet Archive

LEADER: 01983cam 2200481 a 4500
001 ocm77747800
003 OCoLC
005 20100714083252.6
008 820616s1981 cau t f000 0 eng d
035 $a
035 $a
037 $aADA104345
040 $aCMontNP$cAD#$dAD#
049 $aAD#A
086 0 $aD 208.14/2:NPS-52-81-012
088 $aNPS-52-81-012
100 1 $aMacLennan, Bruce J.
245 10 $aElements of programming linguistics. Part I, The lambda calculus and its implementation /$cB.J. MacLennan.
260 $aMonterey, Calif. :$bNaval Postgraduate School,$cc1981.
300 $a92 p. :$bill. ;$c28 cm.
440 0 $aNPS-52-81-012
500 $aCover title.
500 $a"NPS-52-81-012."
500 $a"Prepared for: Naval Postgraduate School, Monterey, California 93943." -- Cover.
500 $a"1981."
506 $a"Approved for public release; distribution is unlimited."
513 $aTechnical report; 1981.
520 $aThe lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aProgramming languages (Electronic computers)$xSyntax.
650 0 $aLISP (Computer program language)
650 0 $aList processing (Electronic computers)
650 0 $aLambda calculus.
710 2 $aNaval Postgraduate School (U.S.)
994 $aC0$bAD#
035 $a
035 $a
035 $a
035 $a
035 $a
035 $a
949 $lgen$nL$aQA76.7$b.M23$s1$tnorm$u00001$i32768000463699
926 $aNPS-LIB$bDIGIPROJ$cD 208.14/2:NPS-52-81-012$dTECH_RPT$eNEVER$f1