資源描述:
《Programming Languages and Lambda Calculi》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、ProgrammingLanguagesandLambdaCalculi(Summer2006RevisedVersion)MatthiasFelleisenMatthewFlattDraft:July12,2006Copyrightc1989,2003,2006Felleisen,Flatt2ContentsIModelsofLanguages9Chapter1:ComputingwithText111.1De?ningSets......................................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