3 Matching Annotations
  1. Dec 2022
  2. www.zhihu.com www.zhihu.com
    如何评价 Abstracting Gradual Type? - 知乎
    1
    1. caocao485 14 Dec 2022
      如何评价 Abstracting Gradual Type?
      类型系统 抽象解释
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/424361841
  3. www.zhihu.com www.zhihu.com
    如何评价abstracting abstract machine？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何评价abstracting abstract machine？
      lambda lambda表达式 抽象解释
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/279037143
  4. www.zhihu.com www.zhihu.com
    如何理解抽象解释（abstract interpretation）？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何理解抽象解释（abstract interpretation）？
      抽象 编程语言 解释 解释器
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/27789493