代码之家  ›  专栏  ›  技术社区  ›  Olle Härstedt

F*是否支持线性类型?

fstar linear-types
  •  3
  • Olle Härstedt  · 技术社区  · 6 年前

    根据维基百科关于子结构类型系统的文章,f*支持某种线性类型。这是真的吗?如果是,如何?我在F*教程中找不到关于它的任何信息。

    1 回复  |  直到 6 年前
        1
  •  1
  •   Nikhil Swamy    6 年前

    https://www.microsoft.com/en-us/research/publication/secure-distributed-programming-with-value-dependent-types/

    推荐文章
    关于   移动版
    代码之家 - 一站式码农服务社区
    沪ICP备11025650号