比浏览器更快的访问！
40 关系: ACM期刊，ALGOL，ALGOL 60，双性恋，伦敦，伦敦玛丽王后大学，形式语义学，克里斯托弗·斯特雷奇，剑桥大学，剑桥大学克莱尔学院，British Computer Society，玛丽王后学院，科学博物馆 (伦敦)，米兰达，约翰·麦卡锡，美国，衛報，计算机协会，计算机程序语言，语法糖，谢菲尔德，越位规则，麻省理工学院，阿隆佐·邱奇，闭包 (计算机科学)，英国，英格兰，電腦科學家，虛擬機器，F♯，Fortran，Haskell，ISWIM，LISP，Prentice Hall，Python，Scheme，SECD抽象机，UNIVAC，指称语义。
ACM期刊
ACM期刊（Journal of the ACM，简称JACM）是计算机协会的官方学术刊物。其内容经同行评审，并廣泛覆蓋计算机科学，特别是理论領域。通常该期刊只登载那些对计算机科学有深远影响的论文。 該刊物始創於1954年。目前的主编是康奈爾大學的依娃·塔多斯。.
新！!: 彼得·兰丁和ACM期刊 · 查看更多 »
ALGOL
ALGOL，名稱源自演算法語言（ALGOrithmic Language）的縮寫，是一族指令式編程語言，發展於1950年代中期，對許多其它程式語言產生了重大影響。计算机协会在教科書及學術文章採用此語言做為描述演算法的標準語法超過三十年。 由大多數近代程式語言皆使用類似ALGOL的語法來看，ALGOL可與差不多同時期的FORTRAN、LISP及COBOL並列為四大最有影響力的高階語言。ALGOL被設計用來避免FORTRAN中一些已知的問題，最終引領了許多其它程式語言的興起，包括PL/I、Simula、BCPL、B、Pascal及C。 ALGOL引入了程式碼區間，並用begin⋯end來分隔。它是第一個利用詞法作用域實作巢狀函式的語言，也是第一個注重形式語言定義的語言，並在ALGOL 60報告中引入了巴科斯範式來作為設計語言形式文法的原則。 ALGOL主要有三種規格，以初次發表的年份命名：.
新！!: 彼得·兰丁和ALGOL · 查看更多 »
ALGOL 60
ALGOL 60（源自ALGOrithmic Language 1960的縮寫），一種程式語言，是ALGOL語言家族中的成員之一。根據ALGOL 58的基礎，它在1960年被創造，並影響到其後的CPL、BCPL、B語言、Pascal、Simula、C語言，在程式語言中有著很大的影響力。 它的後繼者是ALGOL 68與ALGOL W。.
新！!: 彼得·兰丁和ALGOL 60 · 查看更多 »
双性恋
雙性戀，亦稱為雙性向，是一種性傾向或行為，指會對兩種性別產生愛慕情緒，並容易被他們吸引的傾向。它是三大主要性傾向分類之一，與異性戀、同性戀傾向齊列。據美國全國性健康和行為研究，美國成人當中有3.1%為雙性戀，2.5%為同性戀，女性有雙性戀傾向者高於男性，同性戀傾向者的女性低於男性。 雙性戀可見於各種人類社會的歷史記載，同時也存在於其他動物当中。而「雙性戀」一詞則產生於19世紀.
伦敦
伦敦（London；）是英国的首都，也是英國和欧洲最大的城市。位于泰晤士河流域，于公元50年由罗马人建立，取名为伦蒂尼恩，在此后两个世纪内为这一地区最重要的定居点之一。伦敦的历史核心区伦敦城仍旧维持其中世纪的界限，面积，2011年人口为8,072，为全英格兰最小的城市。自19世纪起，“伦敦”一称亦用于指稱围绕这一核心区开发的周围地带。这一城区集合构成大伦敦行政区（与伦敦区覆盖区域相同） ，由伦敦市长及伦敦议会管辖伦敦市长与伦敦市市长非同一概念；后者为伦敦市法团领导者，即伦敦城的管辖者。。 伦敦亦是一个全球城市，名列紐倫港世界三大國際都會之一。在文艺、商业、教育、娱乐、时尚、金融、健康、媒体、专业服务、研究与发展、旅游和交通方面都具有显著的地位，同时还是全球主要金融中心之一，根据计算方式不同，为全球国内生产总值第五或第六大的都市区由于对城市界限的定义、人口的规模、汇率的变化及产出的计算方式不同，城市都市区GDP的排名可能有一定的差别。伦敦和巴黎在总经济产出方面大致规模相近，由此第三方的不同估计对于第五和第六大城市GDP的排列可能不同。麦肯锡全球研究所2012年的报告估计伦敦全市2010年的GDP为US$7,518亿，巴黎则为$7,642亿，由此两市分别为第六和第五。普华永道2009年11月发布的报告称，根据购买力平价计算，2008年伦敦的GDP为US$5,650亿，巴黎则为US$5,640亿，分别为第五和第六。麦肯锡的研究中伦敦人口为1,490万，巴黎则为1,180万，而普华永道的研究中伦敦人口为859万，巴黎992万。伦敦亦是全球文化首都之一，还是全球国际访客数量最多的城市，根据客流量计算则拥有全球最为繁忙的城市机场系统。伦敦拥有43所大学，其高等教育机构密集度在全欧洲最高。2012年，伦敦成为史上首座三次举办现代夏季奥林匹克运动会的城市。 伦敦的人口和文化十分多样，在大伦敦地区内使用的语言就超过300种。这一区域2015年的官方统计人口为8,673,713，为欧盟中最大城市，人口占全英国的12.5%。伦敦的城市区为欧盟第二大，根据2011年普查其人口达到9,787,426，仅次于巴黎。其都市区为欧洲最大，人口达13,614,409，而大伦敦政府则称伦敦都市区的总人口为2,100万。1831年至1925年间，伦敦为世界最大的城市。 有四项世界遗产位于伦敦，分别为：伦敦塔；邱园；威斯敏斯特宫、威斯敏斯特教堂和圣玛格丽特教堂；以及格林尼治历史区（其中的皇家天文台为本初子午线、0°经线和格林尼治标准时间所经之地）。其他著名景点包括白金汉宫、伦敦眼、皮卡迪利圆环、圣保罗座堂、伦敦塔桥、特拉法加广场和碎片大厦。伦敦亦是诸多博物馆、画廊、图书馆、体育运动及其他文化机构的所在地，包括大英博物馆、国家美术馆、泰特现代艺术馆、大英图书馆以及40家西区剧院。伦敦地铁是全球最古老的地下铁路网络。.
伦敦玛丽王后大学
伦敦玛丽王后大学（Queen Mary University of London）是國際著名的伦敦大学的下属学院，得名于乔治五世的王后特克的玛丽。其由最早附属于人民宫的东伦敦技术学院发展起来，1915年被吸纳为伦敦大学成员，于1989年与西菲爾德學院合并，1995年又合并了两所医学院。主校区位于伦敦东区麥爾安德。该校于2013年更名为伦敦玛丽王后大学。 該校設有200多個學位的課程，在全英大學評比中，多數部門的研究評估分為5或5*。大學在英國2008年研究評審工作根據衛報排名第十一位及泰唔士報高等教育中排名第十三位。Queen Mary 為罗素大学集团研究大學聯盟的成員之一，其他成員包括牛津大學、劍橋大學、倫敦帝國學院等世界一級名校。近幾年世界排名大多在90名上下，其在法律、財金、多媒體、電腦方面表現特別突出。本學院也早已被英國人定位成除了帝國學院、UCL、國王學院以外最重要的的大學。 伦敦玛丽王后大學的教职工中不乏英國皇家學會、英國科學院、英國皇家醫學科學院和皇家工程院院士。在伦敦玛丽王后大学在校师生和過去的校友中，有8位諾貝爾獎得主 。.
新！!: 彼得·兰丁和伦敦玛丽王后大学 · 查看更多 »
形式语义学
在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。 语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 提供程序设计语言的形式语义的方法很多，其中主要类别有：.
新！!: 彼得·兰丁和形式语义学 · 查看更多 »
克里斯托弗·斯特雷奇
克里斯托弗·斯特雷奇（Christopher Strachey，）是一名出生於英國英格蘭倫敦汉普斯特德的計算機学者。他是指称语义最早的提出者之一，也是程式語言設計的先驅，發展了程式語言CPL。.
新！!: 彼得·兰丁和克里斯托弗·斯特雷奇 · 查看更多 »
剑桥大学
劍橋大學（University of Cambridge；勳銜：Cantab）為一所坐落於英國劍橋市的研究型書院聯邦制大學。劍橋為英語世界中歷史第二悠久的大學，前身是一個於1209年成立的學者協會。這些學者本為牛津大學的一員，但後因與牛津鎮民發生衝突而移居至此。這兩所古老的大學在辦學模式等多方面都非常相似，並經常獲合稱為「牛剑」。 劍橋大學由31所成員書院及6所學術學院組成。雖大學本身為公立性質，但享有高度自治權的書院則屬私立機構。它們有自己的管理架構、收生以及學生活動安排，工作有別於負責教研的大學中央。劍橋大學是多個學術聯盟的成員之一，亦為英國「金三角名校」及劍橋大學醫療夥伴聯盟的一部分，並與產業聚集地的發展息息相關。 除了各學系安排的課堂，劍橋的學生也需出席由書院提供的輔導課程。學校共設八間文藝及科學博物館，並有館藏逾1500萬冊的圖書館系統及全球最古老的大學出版社。除了學習，學生可加入各學會、學團及體育校隊，參與不同的課外活動。劍橋大學校友包括多位著名數學家、科學家、經濟學家、作家、哲學家。共有116位諾貝爾獲獎者、15位英國首相、10位菲爾茲獎得主、6位图灵奖得主曾為此校的師生、校友或研究人員。.
新！!: 彼得·兰丁和剑桥大学 · 查看更多 »
剑桥大学克莱尔学院
剑桥大学克莱尔学院（Clare College, Cambridge）是剑桥大学现存学院中第二古老的学院，创建于14世纪，在学院的初期获得了爱德华一世的外孙女克莱尔·伊丽莎白（ Elizabeth de Clare）的捐助。克莱尔学院以她的唱诗班和后花园最为出名。 1336年，国王爱德华三世批准由他的表妹伊丽莎白重建克莱尔学院，不过当时学院被称为“克莱尔学堂”（Clare Hall），直到1856年才改名为克莱尔学院（剑桥在1966年新设立了一个新的克莱尔学堂，是一个研究生学院）。克莱尔·伊丽莎白最初创立的学院只能容纳15名学者，其中10名还是特别贫困的学生，由学院资助至20岁为止。在伊丽莎白去世前一年，即1359年，她为学院制定了一系列的章程，这些章程直到今天还被认为是学院办学的指导。 1638年至1715年修建的“旧庭”被认为是英国最漂亮的庭院之一。由于经历了英国内战和古典主义在英国的兴起，花费几十年才完工的旧庭包容了传统的哥特式风格以及古典主义风格。此外跨越剑河的克莱尔桥也是座非常美丽的桥，桥上有14个石头做的圆球做装饰，但事实上有一段缺了一个圆球。缺少的那个圆球有着很多的传说，其中最为著名的说法是，当年建造这座桥是学院没付给建筑商足够的费用，所以建造者故意拿下一个球来减少开支。这座桥也为克莱尔学院的学生们带来很多娱乐：他们最喜欢的一种游戏就是站在桥上，出其不意地将游客划船时用的很长的篙撑抢去。 克莱尔学院是剑桥所有学院中最有音乐氛围的，几乎每一个学生都会演奏至少一种乐器，学校的乐团和歌唱队往往能够吸引到全英国最优秀的年青音乐学子来此就读。此外克莱尔学院的政治气氛也是非常自由的，这里是剑桥的社会主义工人团体集会的地方，历史上有很多学生都因参与政治活动而被逮捕。.
新！!: 彼得·兰丁和剑桥大学克莱尔学院 · 查看更多 »
British Computer Society
#重定向 英國電腦學會.
新！!: 彼得·兰丁和British Computer Society · 查看更多 »
玛丽王后学院
#重定向 伦敦玛丽王后大学.
新！!: 彼得·兰丁和玛丽王后学院 · 查看更多 »
科学博物馆 (伦敦)
科学博物馆（Science Museum），位于伦敦，是科学博物馆集团的一部分，创建于1857年，保存并陈列有关在自然科学技术发展史上据有意义和对现代科技研究和探索也举有意义的实物。历史收藏展馆展出了数学、天文学、物理学和化学等学科以及应用方面的陈列品。各陈列馆还以计算机技术、空间研究和新进的科学发展等方面的展品为重点。实业收藏馆包括农业、运输业、电器工程、船舶工程和机械工程、喷气发动机、地球物理学、电信学和家用器具等方面的展品。从1980年开始还收藏了惠尔康医学史博物馆的所有藏品。.
新！!: 彼得·兰丁和科学博物馆 (伦敦) · 查看更多 »
米兰达
米兰达可以指：.
约翰·麦卡锡
约翰·麦卡锡（John McCarthy，），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.
新！!: 彼得·兰丁和约翰·麦卡锡 · 查看更多 »
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
衛報
《衛報》（The Guardian），英國的全國性綜合內容日報。1819年爆發彼得盧屠殺事件，創刊人英國記者John Edward Taylor揭露事件的事實。1821年，《曼徹斯特衛報》創刊，因總部設於曼徹斯特而得此名。1855年改為日報。1872年起，斯科特主持编务，将《曼徹斯特衛報》变得高雅生动，奠定了该报成为全国性高级报纸的基础。1959年《曼徹斯特衛報》更名為《衛報》，成为英国第二大高级报纸。《衛報》總部於1964年遷至倫敦，不過於曼城和倫敦均設有印刷設施。一般公眾視《衛報》的政治倾向為左派，《衛報》受到重視的領域包括世界主義觀點、文藝報導和評論、外國通訊。《衛報》與《泰晤士報》、《每日電訊報》同為英國三個著名的高级报纸。.
计算机协会
计算机协会（Association for Computing Machinery，简称ACM）是一个世界性的计算机从业员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊，并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界（但主要在美国）举办世界性讲座及会谈，以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道，以供会员在工作之余或家中提升自己的专业技能。截止20世纪末，ACM在全球拥有75,000个以上的成员，包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士（Fellow）。 ACM通过它的35个特别兴趣组（Special Interest Group，SIG）提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业，如计算机系统结构专业组（computer architecture，SIGARCH）和计算机图形与互动技术专业组（computer graphics and interactive techniques，SIGGRAPH）。这些特别兴趣组中有不少是跨学科的，适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织，为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务，搜集信息，准备讲座，组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM，刊有一些广泛兴趣的文章，并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊，这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项，来表彰计算机领域的技术和专业成就。最高奖项为图灵奖（Turing Award），常被形容为计算机领域的诺贝尔奖。.
新！!: 彼得·兰丁和计算机协会 · 查看更多 »
计算机程序语言
#重定向 编程语言.
新！!: 彼得·兰丁和计算机程序语言 · 查看更多 »
语法糖
语法糖（Syntactic sugar），也译为糖衣语法，是由英国计算机科学家彼得·蘭丁发明的一个术语，指计算机语言中添加的某种语法，这种语法对语言的功能没有影响，但是更方便程序员使用。语法糖让程序更加简洁，有更高的可读性。 举例来说，许多程序语言提供专门的语法来对数组中的元素进行引用和更新。从理论上来讲，一个数组元素的引用涉及到两个参数：数组和下标向量，比如这样的表达式，get_array(Array, vector(i, j))。然而，许多语言支持这样直接引用 Array。同理，数组元素的更新涉及到三个参数，set_array(Array, vector(i, j), value)，但是很多语言提供这样直接赋值，Array.
谢菲尔德
谢菲尔德（Sheffield），英國華人稱「雪埠」。。「雪埠」譯名見，英國華商報，2014年5月1日。，是一座位于英國英格蘭約克郡-亨伯區域南约克郡的城市，得名于穿过该市的Sheaf河。该市人口约有520,700人（2005年中），是伦敦以外英格兰最大的八座城市之一。市內有球會錫周三、錫菲聯足球會，兩會皆頗具名氣。 从19世纪起，谢菲尔德市开始以钢铁工业闻名于世，许多工业方面的革新，包括坩埚钢和不锈钢，都诞生在这座城市。工业革命期间，该市的人口增加了数十倍。该市在1893年获得地方自治权，正式冠名为谢菲尔德市。在1970年代和1980年代，国际竞争和英国煤炭工业的崩溃，导致当地工业的衰落，人口也随之下降。近年来，该市开始复苏，将自己重新定位为一座体育与科技之城。.
新！!: 彼得·兰丁和谢菲尔德 · 查看更多 »
越位规则
越位規則（Off-side rule）是指程式語言中，用縮排來表示的範圍。這名詞是來自Peter J. Landin，是足球中越位（offside）的雙關語。.
新！!: 彼得·兰丁和越位规则 · 查看更多 »
麻省理工学院
麻省理工學院（Massachusetts Institute of Technology，縮寫為MIT）是位於美國麻薩諸塞州劍橋市的私立研究型大學。成立於1861年，當時目的是為了響應。學校採用了辦學，早期著力於應用科學與工程學的實驗教學。麻省理工的研究人員在二戰及冷戰期間，致力開發電腦、雷達及慣性導航系統技術；戰後的防禦性科技研究使學校得以進一步發展，教職員人數及校園面積在的帶領下有所上升。大學於1916年遷往現在位於查爾斯河北岸的校址，沿岸伸延逾，佔地。 擁有6間學術學院、32個學系部門的麻省理工學院常獲納入全球最佳學府之列。學校一直聞名於物理科學與工程學的教研，但在近代亦大力發展諸如生命科學、經濟學、管理學、語言學等其他學術範疇。別名「工程師」的麻省理工體育校隊合計31支，涵蓋不同項目，學生因此可參與不同類型的跨校體育聯賽。 ，著名麻省理工師生、校友或研究人員包括了91位諾貝爾獎得主、52位國家科學獎章獲獎者、45位羅德學者、38名麥克阿瑟獎得主、6名菲爾茲獎獲獎者、25位图灵奖得主。此校同時具很強的創業文化，由其校友所創辦的公司利潤總值相當於全球第十一大經濟體。.
新！!: 彼得·兰丁和麻省理工学院 · 查看更多 »
阿隆佐·邱奇
阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。.
新！!: 彼得·兰丁和阿隆佐·邱奇 · 查看更多 »
闭包 (计算机科学)
在计算机科学中，闭包（Closure），又稱词法闭包（Lexical Closure）或函數閉包（function closures），是引用了自由变量的函数。这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。所以，有另一种说法认为闭包是由函数和与其相关的引用环境组合而成的实体。闭包在运行时可以有多个实例，不同的引用环境和相同的函数组合可以产生不同的实例。 闭包的概念出现于60年代，最早实现闭包的程序语言是Scheme。之后，闭包被广泛使用于函数式编程语言如ML语言和LISP。很多命令式程序语言也开始支持闭包。 在一些语言中，在函数中可以（嵌套）定义另一个函数时，如果内部的函数引用了外部的函数的变量，则可能产生闭包。运行时，一旦外部的 函数被执行，一个闭包就形成了，闭包中包含了内部函数的代码，以及所需外部函数中的变量的引用。其中所引用的变量称作上值(upvalue)。 闭包一词经常和匿名函数混淆。这可能是因为两者经常同时使用，但是它们是不同的概念。.
新！!: 彼得·兰丁和闭包 (计算机科学) · 查看更多 »
英国
大不列颠及北爱尔兰联合王国（United Kingdom of Great Britain and Northern Ireland），简称联合王国（United Kingdom，缩写作 UK）或不列颠（Britain），中文通称英国（中文世界早期亦称英联王国），是本土位於西歐並具有海外領地的主權國家，英國為世界七大國之一，位于欧洲大陆西北面，由大不列颠岛、爱尔兰岛东北部分及一系列较小岛屿共同组成。英国和另一国家唯一的陆上国境线位于北爱尔兰，和爱尔兰共和国相邻。英国由大西洋所环绕，东为北海，南为英吉利海峡，西南偏南为凯尔特海，同爱尔兰隔爱尔兰海相望。该国总面积达，为世界面积第80大的主权国家及欧洲面积第11大的主权国家，人口6510万，为全球第21名及歐洲第3名。 英国为君主立宪国家，采用议会制进行管辖。其首都伦敦为全球城市A++级别和国际金融中心，大都会区人口达1380万，为欧洲第三大和欧盟第一大。现在位英国君主为女王伊丽莎白二世，1952年2月6日即位。英国由四个构成国组成，分别为英格兰、苏格兰、威尔士和北爱尔兰，其中后三者在权力下放体系之下各自拥有一定的权力。三地首府分别为爱丁堡、加的夫和贝尔法斯特。附近的马恩岛、根西行政区及泽西行政区并非联合王国的一部分，而为王冠属地，英国政府负责其国防及外交事务。 英国的构成国之间的关系在历史上经历了一系列的发展。英格兰王国通过1535年和1542年的《联合法令》将威尔士纳入其领土范围。1707年的条约使英格兰和苏格兰王国联合成为大不列颠王国，而1801年后者则进一步同爱尔兰王国联合成为大不列颠及爱尔兰联合王国。1922年，爱尔兰的六分之五脱离联邦，由此便有了今日的大不列颠及北爱尔兰联合王国。大不列颠及北爱尔兰联合王国亦有14块海外领地，为往日帝国的遗留部分。大英帝国在1921年达到其巅峰，拥有全球22%的领土，是有史以来面积最大的帝国。英国在语言、文化和法律体系上对其前殖民地保留了一定的影响力，因而吸引許多以前英聯邦的移民前來居住。 英国为发达国家，以名义GDP为量度为世界第五大经济体，以购买力平价为量度为世界第九大经济体。英国同时还是世界首个工业化国家，在1815年-1914年为世界第一强国，现今仍是強國之一，在全球范围内的经济、文化、军事、科技和政治上有显著影响力。英国为国际公认的有核国家，其军事开支位列全球第五 (IISS)。自1946年以来，英国即为联合国安全理事会常任理事国，而自1973年以来即为欧洲联盟（EU）及其前身欧洲经济共同体（EEC）的成员国，同时还为英联邦、欧洲委员会、七国财长峰会、七国集团、二十国集团、北大西洋公约组织、经济合作与发展组织和世界贸易组织成员国。2016年英國脫離歐盟公投中，英国民众决定脱离欧盟，但因間接影響全球經濟，所以並未得到多數國家支持。.
英格兰
英格蘭（England），又稱作英倫、英國，是大不列顛及北愛爾蘭聯合王國的一個構成國，位於大不列顛島的東南方，蘇格蘭以南，威尔士以東，是英国面積最大，人口最多，經濟最發達的一個部分。虽然就传统上一般可以认为其政治地位相当于一个国家，但以国际通行标准上其仍然是一级行政区。 在歷史上，英格蘭與蘇格蘭之間是以哈德良长城為界。英格蘭這個名字源自「盎格魯人」（Angles），其原名「Engla-lond」意为「盎格魯人之地」，他們繼凱爾特人之後來到這個地方，属日耳曼民族。.
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
新！!: 彼得·兰丁和電腦科學家 · 查看更多 »
虛擬機器
虚拟机（virtual machine），在计算机科学中的体系结构裏，是指一种特殊的软件，可以在计算机平台和終端用戶之间建立一种环境，而終端用戶则是基于这个軟體所建立的环境来操作软件。.
新！!: 彼得·兰丁和虛擬機器 · 查看更多 »
F♯
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#已經接近成熟，支援高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显.NET在不同编程语言间互通的程序设计，可以被.NET中的任意其它代碼編譯和調用。 2002年微软開始由Don Syme帶領研發F#，從C#，LINQ和Haskell中獲取了經驗，2005年推出第一個版本，2007年7月31日释出1.9.2.9版。2007年底，微軟宣布F#進入產品化的階段。 F#已被集成在Visual Studio 2010中，版本是2.0，含有对.Net Framework的完全支持。 F#现在在Visual Studio 2015中，版本是4.0。 F#现在在Visual Studio 2017中，版本是4.1。.
Fortran
福傳（Fortran），源自於「公式翻译」（Formula Translation）的縮寫，是一種程式語言。1957年由IBM開發出，是世界上第一个被正式采用並流传至今的高级编程語言。.
新！!: 彼得·兰丁和Fortran · 查看更多 »
Haskell
Haskell（）是一种标准化的，通用的纯函數程式語言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一類物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征, with 2 sections by William Craig, see paragraph 9E。.
新！!: 彼得·兰丁和Haskell · 查看更多 »
ISWIM
ISWIM 是 Peter J. Landin 设计并描述于他在1966年于ACM通讯中出版的文章《The Next 700 Programming Languages》中的抽象计算机编程语言（或编程语言家族）。名称是如下首字母缩写“If you See What I Mean”。 尽管没有实现，它被证明为在编程语言特别是函数式编程语言开发中非常有影响力的语言，比如 SASL，Miranda，ML，Haskell 和它们的后继者。 ISWIM 是带有由加了语法糖的 lambda 演算组成的函数式核心的指令式语言，它增加了（i）可变变量和赋值，（ii）强力控制机制 — Landin 的 J 算子，它能够捕获当前的续体（Scheme 的 call/cc 算子是简化版本的 Landin 的 J 算子）。因为基于 lambda 演算，ISWIM 有高阶函数和词法辖域变量。 ISWIM 的操作语义是使用 Landin 的 SECD抽象机定义的，并且使用了传值调用因而是及早求值的。ISWIM 的目标之一就是看起来更像数学表示，所以 Landin 放弃了 ALGOL 的语句间分号和 begin...
新！!: 彼得·兰丁和ISWIM · 查看更多 »
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
新！!: 彼得·兰丁和LISP · 查看更多 »
Prentice Hall
#重定向 普林帝斯霍爾.
新！!: 彼得·兰丁和Prentice Hall · 查看更多 »
Python
Python（ ），是一种广泛使用的高级编程语言，属于通用型编程语言，由吉多·范罗苏姆创造，第一版发布于1991年。可以視之為一種改良（加入一些其他程式語言的優點，如物件導向）的LISP。作为一种解释型语言，Python的设计哲学强调代码的可读性和简洁的语法（尤其是使用空格缩进划分代码块，而非使用大括号或者关键词）。相比於C++或Java，Python让开发者能够用更少的代码表达想法。不管是小型还是大型程序，该语言都试图让程序的结构清晰明了。 与Scheme、Ruby、Perl、Tcl等动态类型编程语言一样，Python拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且支持多种编程范式，包括面向对象、命令式、函数式和过程式编程。其本身拥有一个巨大而广泛的标准库。 Python 解释器本身几乎可以在所有的操作系统中运行。Python的正式直譯器CPython是用C语言编写的、是一個由社群驱动的自由软件，目前由Python软件基金会管理。.
新！!: 彼得·兰丁和Python · 查看更多 »
Scheme
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一（另一种为Common Lisp）。不同于Common Lisp，Scheme遵循極簡主義哲学，以一个小型语言核心作为标准，加上各种强力语言工具（语法糖）来扩展语言本身。 麻省理工學院與其他院校曾采用Scheme教授计算机科学入門課程。著名的入門教材《-zh-hans:计算机程序的构造和解释;zh-hant:電腦程式的構造和解釋-》（SICP）利用Scheme來解釋程序設計 。Scheme的廣泛受眾被視為一個主要優勢，然而不同實現之間的差異成為了它的一個劣勢。 Scheme最早由麻省理工學院的蓋伊·史提爾二世與傑拉德·傑伊·薩斯曼在1970年代發展出來，並由兩人發表的「λ論文集」推廣開來。 Scheme語言與λ演算關係十分密切。小寫字母「λ」是Scheme語言的標誌。 Scheme的哲学是：设计计算机语言不应该进行功能的堆砌，而应该尽可能减少弱点和限制，使剩下的功能显得必要。Scheme是第一個使用靜態作用域的Lisp方言，也是第一个引入“干净宏”和第一类续延的编程语言。.
新！!: 彼得·兰丁和Scheme · 查看更多 »
SECD抽象机
SECD 机是非常有影响的意图作为函数式编程语言编译器目标的虚拟机。SECD 分别是这个机器的内部寄存器的名字的首字母：Stack, Environment, Code, Dump。这些寄存器指向在内存中链表。 这种机器最初明确设计用来计算 lambda 演算表达式。最初 Peter J. Landin 在1963年把它作为他的 ISWIM编程语言定义的一部分描述。Landin 出版的描述非常抽象，（象一种操作语义那样）留下很多实现选择开放着。所以 SECD 机经常以更具体的形式出现，比如 Peter Henderson 的 Lispkit Lisp 编译器，它自1980年开始发行。此后它已经被用做多个其他实验编译器的目标。 在1989年在卡尔加里大学的研究者制作了这种机器的一个硬件实现。.
新！!: 彼得·兰丁和SECD抽象机 · 查看更多 »
UNIVAC
UNIVAC，名稱來自通用自動計算機（UNIVersal Automatic Computer的縮寫），由埃克特-莫奇萊電腦公司（Eckert–Mauchly Computer Corporation）製造的電子數位計算機，可存取程式來執行。稍後這個名字成為雷明頓蘭德公司與後續公司的部門名稱，成為一個產品線系列商品的通稱。現在這個名稱仍然被Unisys公司所繼承。.
新！!: 彼得·兰丁和UNIVAC · 查看更多 »
指称语义
在计算机科学中，指称语义（Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和并发系统。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于幂域的方法，来解决并发系统的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架。本文第一节描述在这个框架内开发的指称语义。后续章节处理多态、并发等问题。.
新！!: 彼得·兰丁和指称语义 · 查看更多 »
