Programming Languages and Lambda Calculi

《Programming Languages and Lambda Calculi》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ProgrammingLanguagesandLambdaCalculi(Summer2006RevisedVersion)MatthiasFelleisenMatthewFlattDraft:July12,2006Copyrightc1989,2003,2006Felleisen,Flatt2ContentsIModelsofLanguages9Chapter1:ComputingwithText111.1DefiningSets......................................111.2Relations.

2、.......................................121.3RelationsasEvaluation................................131.4DirectedEvaluation..................................131.5EvaluationinContext.................................141.6EvaluationFunction..................................15

3、1.7NotationSummary...................................15Chapter2:ConsistencyofEvaluation17Chapter3:Theλ-Calculus213.1Functionsintheλ-Calculus..............................213.2λ-CalculusGrammarandReductions.........................223.3EncodingBooleans...................

4、................243.4EncodingPairs.....................................253.5EncodingNumbers...................................263.6Recursion........................................273.6.1RecursionviaSelf-Application........................283.6.2LiftingOutSelf-Applicati

5、on..........................293.6.3FixedPointsandtheYCombinator.....................303.7ReductionStrategyandNormalForm........................313.8History.........................................33IIModelsofRealisticLanguages35Chapter4:ISWIM374.1ISWIMExpressions.......

6、...........................374.2ISWIMReductions...................................384.3TheYvCombinator..................................394.4Evaluation........................................414.5Consistency.......................................414.6ObservationalEquiva

7、lence...............................454.7History.........................................47Chapter5:StandardReduction495.1StandardReductions..................................495.2ProvingtheStandardReductionTheorem......................525.3ObservationalEquivalence......

8、.........................59345.4UniformEvaluation..................................62Chapter6:Machines656.1CCM