Extensible records without subsumption

Extensible records without subsumption
复制标题

无需包含的可扩展记录

DOI：
--
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
B. Pierce
B. Pierce
中科院分区：
--
文献类型：
--
作者：
R. Harper;B. Pierce

文献摘要

被引文献

相似文献

本研究由国防高级研究计划局（D O D）和海军研究办公室根据合同N 00014 -84-K-0415赞助。本文件中包含的观点和结论是作者的观点和结论，不应被解释为代表国防高级研究计划局或美国政府的官方政策，无论是明示的还是暗示的。主题分类关键词：F.4.1 Lambda演算及相关系统D.3.1语言理论F.3.3类型结构D.3.3数据类型和结构记录
This research was sponsored by the Defense Advanced Research Projects Agency ( D O D ) and the Office of Naval Research under Contract N00014-84-K-0415. T h e views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agencv or the U.S . government Subject classification keywords: F.4.1 Lambda calculus and related systems D.3.1 Language Theory. Programming F.3.3 Type structure D.3.3 Da ta types and structures Records