中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Luca Cardelli
来自维基百科,自由的百科全书
Found in articles
Newsqueak
計者為羅勃·派克。在語法上,它受到C語言的影響,但它在進行平行運算時,則受到東尼·霍爾的通信顺序进程所啟發。 它的前身是Squeak,由
Luca
Cardelli
與羅勃·派克設計的程式語言,可以用於實做图形用户界面(GUI)。 Inferno操作系统 贝尔实验室9号计划 Pike, Rob. Newsqueak:
爱丁堡大学信息学院
ML(罗宾·米尔纳)、Prolog(罗伯特·科瓦尔斯基)、Haskell(菲利普·瓦德勒)、Erlang(乔·阿姆斯特朗)、Modula-3(
Luca
Cardelli
(英语:
Luca
Cardelli
))、POP-2(Robin Popplestone(英语:Robin Popplestone)和Rod Burstall(英语:Rod
2005年當選的皇家學會會士列表
Barron Andrew Blake Harry Leonard Bryden Stephen John Williams Busby
Luca
Cardelli
德博拉·查尔斯沃思 John Collinge 保罗·科克姆 John Patrick Croxall Tom Curran John
参数多态
X\to X} ,其中X可以为T自身。 类型论中,最常被研究的非直谓有类型λ演算是基于λ立方体,特别是系统F。 1985年卢克·卡德利(英语:
Luca
Cardelli
)与彼得·瓦格纳(英语:Peter Wegner)提出类型参数允许限定(bounds)的益处。限定量化(bounded
Modula-3
Systems Research Center)(SRC)和Olivetti研究中心(ORC)的
Luca
Cardelli
(英语:
Luca
Cardelli
)、James Donahue、Lucille Glassman、Mick Jordan(之前在Olivetti软件技术实验室工作)、Bill