• 新鲜毫升

  • 引用了50篇文章[sw08992]
  • FreshML:编程粘合剂很简单。FreshML用优雅和实用的结构扩展ML。。。绑定操作。用户声明的FreshML数据类型涉及粘合剂是具体的,从某种意义上说。。。数据类型的值所涉及的正确性属性粘合剂如果且仅当。。。
  • 白鲸

  • 在26篇文章中引用[sw01321]
  • 提供支持的数据结构粘合剂。许多对象语言包括绑定构造。。。函数式语言仍然缺乏对粘合剂以及常见的复杂操作,如重命名。。。我们表示的顺序抽象语法(HOAS)粘合剂在目标语言中粘合剂...
  • 粘合剂

  • 在14篇文章中引用[sw26750]
  • 粘合剂,一种基于逻辑的安全语言。我们介绍安全语言的概念,使用。。。ACL和X.509证书。相反,粘合剂是一种基于openlogic的安全语言,编码。。。作为通信分布式逻辑程序的组成部分的语句。粘合剂程序可能比语句更具表现力。。。通过他们在粘合剂.翻译成粘合剂已经被用来探索。。。
  • 混合

  • 参考22篇文章[sw12373]
  • 灵感来自于微积分Beta过程-粘合剂它是用来模拟任何系统。。。
  • 贝德维尔

  • 引用21篇文章[sw09460]
  • 使用术语水平λ直接支持-粘合剂以及量词。这些特性允许直接推理。。。
  • Psi结石

  • 参考11篇文章[sw28573]
  • 处理绑定序列,而不是单一序列粘合剂,以一种有效的方式。不同的方法。。。形式化单曲粘合剂在过去的几十年里,计算已经被提出,代表这种约束。。。
  • 西比尔

  • 参考6篇文章[sw11995]
  • 多模态hibrid逻辑的证明器粘合剂,逆向和全局模式,及物性断言。。。包含粘合剂它既在范围内,又包含。。。
  • 未绑定

  • 引用4篇文章[sw22613]
  • 粘合剂未绑定。编译器、程序重构器、定理证明器、证明检查器和其他系统的示例。。。富于表现力–它支持多种原子类型、模式粘合剂,类型注释,递归粘合剂,和嵌套绑定。。。
  • LiquidHaskell公司

  • 引用4篇文章[sw27633]
  • 必须考虑粘合剂实际上是价值观。我们呈现。。。分层式标记系统粘合剂不管是否可能发散,而且(循环)使用。。。
  • 自动订阅

  • 引用2篇文章[sw22669号]
  • 交互式定理证明。语法推理粘合剂在形式化过程中起着至关重要的作用。。。编程语言。粘合剂在纸面证明中可以忽略,形式化涉及。。。粘合剂往往是重量级的。我们提出了一个语法规则粘合剂基于。。。
  • PeptX公司

  • 引用2篇文章[sw35178]
  • 实验证明肽具有很高的亲和力粘合剂结论:我们提供了一个通用的框架。。。计算高亲和力集合粘合剂基于不同以往发表的评分函数合理。。。
  • 支撑

  • 引用3篇文章【sw35901】
  • 由文献推导出的系数表。预测粘合剂可以被视为山峰。。。
  • 活页夹2.0

  • 1条引用[sw39879]
  • 粘合剂2.0-可复制、交互式、可共享的大规模科学环境。粘合剂是一个开放源代码。。。用于管理云资源的JupyterHub和Kubernetes。粘合剂使用预先存在的工作流。。。当代粘合剂...
  • 皮亚托透镜

  • 引用2篇文章[sw38806]
  • 去介绍Jupyter笔记本粘合剂或者查看readthedocs以获得完整的。。。
  • LVC公司

  • 1条引用[sw22727]
  • 语义解释,功能解释(变量是粘合剂)一个命令式的(变量是必须的。。。
  • BCiC公司

  • 1条引用[sw26749]
  • 身份验证和信任关系。BCiC集成了粘合剂安全语言与微积分。。。