• IMPS

  • 45篇参考文献[SW09143]
  • 基于一个版本简约 类型 理论具有部分函数和子类型。数学规范…
  • 牡蛎

  • 32篇参考文献[SW19629 ]
  • 描述一个实现类型 理论其目的是为软件提供一个环境…这通过描述A的合成简约系统中算术表达式的求值器…
  • 伊沃

  • 3篇参考文献[SW0633]
  • 一个简单的扩展和嵌入类型 理论基于Haskell应用中的定理证明器…A的实现简约函数式程序设计语言类型 理论作为核心表现…
  • YOT

  • 34篇参考文献[SW12334 ]
  • 理论(HTT)。我们展示了这些公理是如何与强者结合的。类型顺序(有效)迭代器。实现范围从简约(例如,关联列表)到复杂的(例如,哈希…
  • 贝壳2

  • 8篇参考文献[SW16623 ]
  • 传播算子解析计算的形式类型一个和两个环FEYMAN图与…一个“主积分”和“两个积分”的术语简约用欧拉表示的积分…壳重正化方案,有效场理论静态夸克和其他问题…
  • 泄漏

  • 3篇参考文献[SW09494]
  • 精确指定使用理论. 抽象数据类型多继承、复杂对象、重载和动态绑定…支持。数据类型对象、类和模块彼此清晰地区分开来。整个语言有一个精确而相对的语言。简约基于顺序排序的语义,隐藏排序…
  • 榛子

  • 2篇参考文献[SW22659]
  • 逐渐地打字语境模式类型 理论语境模式的Curry Howard解释…基于事件的功能反应程序。我们的简约参考实现是用…
  • 内侧

  • 4篇参考文献[SW27 730]
  • Marovia化学品在硅设计中是一个简约但有效的计算方法的研究…药物化学该方法使用理论马尔可夫链产生的参数,数值…药物靶点。这种方法产生两个主体。类型参数随机拓扑指数…
  • 电传打字机

  • 2篇参考文献[SW08405]
  • 求解m/g/1、g/m/1或qbd类型马尔可夫链。简约但非限制理性结构…简要回顾一下理论通过实例论证了合理结构的产生。
  • 小牛

  • 1篇参考文献[SW25000 ]
  • 类型自动机必须从头开始,因为没有抽象。理论掩盖了它们的正确性证明。我们介绍了一个简约范畴理论形式主义提供了适当的…
  • 达尔

  • 1篇参考文献[SW2543]
  • 非单调形式主义的重要类。使用简约通过强大的推理规则,称为默认值,这些…因此,形式化默认推理,一个特殊的类型非单调推理。在本文中…世界描述的违约模型理论
  • 帕雷斯塔达

  • 5篇参考文献[SW0908]
  • 练习。偶数的化学机理简约反应网络涉及许多高活性和短命的…复杂的例子。我们描述了主要类型当尝试应用时出现的困难…甚至他们中的大多数。利用伽罗瓦理论证明了所需的代数方程…
  • 维姆拉姆达

  • 1篇参考文献[SW17460]
  • 散文,确实发现了两个问题理论在实践中。因此,一个适当的定义…简单地类型化的按值调用lambda演算。虽然这个扩展,vMLAMBDA,是简约清楚…
  • 符号符号

  • 1篇参考文献[SW11187]
  • 当初始状态时简约水族1美元的国家需要…初生近似与畸变波理论和激光物质相互作用(在偶极子内)使用水波函数和斯拉特尔的量规类型具有任意$NLM量子数的轨道…
  • 爱德康

  • 1篇参考文献[SW1033]
  • 原子。我们提出了一个简约确定软件的工具类型边缘原子…边缘原子是扶手椅或锯齿形的。类型是由独特的模式决定的…结合密度泛函的工具理论或紧束缚方法也可以帮助…
  • 芒戈

  • 1篇参考文献[SW3023 7]
  • 分布式系统中的协议。这个理论会话的类型为解决这一问题提供了依据。第二个工具,StMungo,需要一个会话类型描述一个通信协议,并生成一个Type状态…为标准客户机打字简约邮件传输协议(SMTP)
  • 奎斯特

  • 1篇参考文献[SW14207]
  • 亚结构元理论A的类型-用于Web编程的安全语言。本文介绍了…QWEST并用它来优雅写作简约然而,Web应用程序并不容易…