阿泽·迪杰斯特拉；斯威斯特拉，S.多伊茨 标尺：编程类型规则。 （英语） Zbl 1185.68191号 Hagiya，Masami（编辑）等人，《功能和逻辑编程》。2006年4月24日至26日，第八届国际研讨会，FLOPS 2006，日本富士-苏索诺。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33438-6/pbk）。计算机科学课堂讲稿3945，30-46（2006）。 概要：一些类型系统首先被正式描述，有时随后是实现。其他类型的系统首先被实现为语言扩展，有时会用正式的描述进行改装。在这两种情况下，保持两件艺术品的一致性都是一项容易的任务。在本文中，我们介绍了Ruler，一种用于描述类型规则的领域特定语言。类型规则可以增量描述，从而提供了在简单类型系统之上构建复杂类型系统的方法。除了检查Ruler程序的格式良好性之外，我们还使用它们生成（1）可视化的LATEX渲染，适合用于表示形式方面，以及（2）基于属性语法的实现。在Ruler中结合这两个方面有助于缩小理论和实践之间的差距：可以生成相互一致的表示，以便在理论和实践环境中使用。关于整个系列，请参见[Zbl 1103.68004号]. 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 软件：哈斯克尔；GHC公司；Twelf公司；西洋陆军棋；拥抱；标尺；乳胶 PDF格式BibTeX公司 XML格式引用 \textit{A.Dijkstra}和\textit{S.D.Swierstra}，莱克特。注释计算。科学。3945、30--46（2006年；Zbl 1185.68191） 全文： 内政部 链接