欢迎来到天天文库
浏览记录
ID:7880255
大小:1.01 MB
页数:189页
时间:2018-03-01
《programming languages and lambda calculi外语英文电子书》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、ProgrammingLanguagesandLambdaCalculi(Summer2006Version)MatthiasFelleisenMatthewFlattDraft:May26,2006Copyrightc1989,2003Felleisen,Flatt2ContentsIModelsofLanguages7Chapter1:ComputingwithText91.1DefiningSets......................................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..........
此文档下载收益归作者所有