首页    期刊浏览 2024年11月07日 星期四
登录注册

文章基本信息

  • 标题:Constrained Polymorphic Types for a Calculus with Name Variables
  • 作者:Davide Ancona ; Paola Giannini ; Elena Zucca
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2018
  • 卷号:69
  • 页码:4:1-4:29
  • DOI:10.4230/LIPIcs.TYPES.2015.4
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We extend the simply-typed lambda-calculus with a mechanism for dynamic rebinding of code based on parametric nominal interfaces. That is, we introduce values which represent single fragments, or families of named fragments, of open code, where free variables are associated with names which do not obey \alpha-equivalence. In this way, code fragments can be passed as function arguments and manipulated, through their nominal interface, by operators such as rebinding, overriding and renaming. Moreover, by using name variables, it is possible to write terms which are parametric in their nominal interface and/or in the way it is adapted, greatly enhancing expressivity. However, in order to prevent conflicts when instantiating name variables, the name-polymorphic types of such terms need to be equipped with simple {inequality} constraints. We show soundness of the type system.
  • 关键词:open code; incremental rebinding; name polymorphism; metaprogramming
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有