資源描述:
《programming languages and lambda calculi外語英文電子書》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、ProgrammingLanguagesandLambdaCalculi(Summer2006Version)MatthiasFelleisenMatthewFlattDraft:May26,2006Copyrightc1989,2003Felleisen,Flatt2ContentsIModelsofLanguages7Chapter1:ComputingwithText91.1De?ningSets......................................91.2Relations........................................101.3
2、RelationsasEvaluation................................111.4DirectedEvaluation..................................111.5EvaluationinContext.................................121.6EvaluationFunction..................................131.7NotationSummary...................................13Chapter2:Consisten
3、cyofEvaluation15Chapter3:Theλ-Calculus193.1Functionsintheλ-Calculus..............................193.2λ-CalculusGrammarandReductions.........................203.3EncodingBooleans...................................223.4EncodingPairs.....................................233.5EncodingNumbers...........
4、........................243.6Recursion........................................253.6.1RecursionviaSelf-Application........................263.6.2LiftingOutSelf-Application..........................273.6.3FixedPointsandtheYCombinator.....................283.7FactsAbouttheλ-Calculus...................
5、...........293.8History.........................................31IIModelsofRealisticLanguages33Chapter4:ISWIM354.1ISWIMExpressions..................................354.2ISWIMReductions...................................364.3TheYvCombinator..................................374.4Evaluation..........
6、..............................394.5Consistency.......................................394.6ObservationalEquivalence...............................434.7History.........................................45Chapter5:StandardReduction475.1StandardReductions..................................475.2ProvingtheS
7、tandardReductionTheorem......................505.3ObservationalEquivalence...............................57345.4UniformEvaluation..................................60Chapter6:Machines636.1CCMachine..........