引文输出
出版物
保存此搜索
研究论文 分部类型构造函数：或，使特殊数据类型不那么特殊 函数式编程语言假设类型构造函数是总数。 然而函数式程序员更清楚：反例包括对其内容进行限制性假设的容器类型（例如，要求可计算等式或……）。。。 研究论文 MIL，实现函数语言的一元中间语言 本文描述了MIL，这是一种“一元中间语言”，设计用于优化严格、强类型函数语言的编译器。 通过使用表示法公开闭包和代数数据类型的构造和使用。。。 研究论文 实例链 : 没有重叠实例的类型类编程 类型类在Haskell程序中有着广泛的用途，从简单的操作符重载（例如等式或排序）到用于实现类型安全异类列表或有限子类型的复杂不变量。 不幸的是，许多。。。 另发布于： ACM SIGPLAN通知：第45卷第9期，2010年9月 研究论文 功能依赖的语言和程序设计 八年前，函数依赖（一个来自关系数据库理论的概念）被提出，作为避免Haskell中多参数类型类常见问题的机制。 在这种情况下，函数依赖提供了。。。 另发布于： ACM SIGPLAN通知：第44卷第2期，2009年2月 邀请谈话 多态性和页面表 : 从函数式程序员的角度进行系统编程 函数语言具有轻量级语法、表达型系统和深层语义基础等功能，现在正被用于开发越来越广泛的复杂现实应用程序。 在系统软件领域。。。 另发布于： ACM SIGPLAN通知：第43卷第9期，2008年9月 研究论文 经验报告 : 播放DSL卡 本文描述了我们使用函数语言Haskell构建嵌入式领域特定语言（DSL）的经验，用于大规模实时嵌入式系统中的组件配置。 在引入DSL之前，工程师将。。。 研究论文 用函数语言编写系统软件 : 经验报告 当前开发系统软件的实践通常依赖于相当低级别的编程语言和工具。 作为另一种选择，我们的团队一直在研究使用高级函数语言Haskell作为内核和。。。 第条 函数语言中的强类型存储区编程系统级数据结构 现代函数式语言提供了一些吸引人的特性，以支持可靠和安全软件的开发。 然而，在我们努力将Haskell用于系统编程任务（包括设备驱动程序和操作系统构造）时，我们已经。。。 第条 哈斯克尔操作系统建设 尽管编程语言技术取得了所有进步，但今天的许多操作系统开发人员和研究人员仍在使用与他们的前辈在二三十年前使用的基本相同的语言。 编程语言。。。 第条 低级表示的高级视图 本文解释了函数式语言中数据类型的高级处理（使用构造函数和模式匹配等功能）如何与 位数据 .我们用这个术语来描述数据的位级表示。。。 另发布于： ACM SIGPLAN通知：第40卷第9期，2005年9月 第条 Haskell中操作系统构建的原则方法 我们描述了低级硬件特性的一元接口，它是在Haskell中构建操作系统的合适基础。 该接口包括用于控制内存管理硬件、用户模式进程执行和低级。。。 另发布于： ACM SIGPLAN通知：第40卷第9期，2005年9月 第条 Haskell 98模块系统的形式规范 许多编程语言提供了将大型程序拆分为较小模块的方法。 语言的模块系统指定了模块的组成以及模块如何交互。 本文给出了一个用于该系统的模块系统的形式化规范。。。 第条 具有函数依赖性的类型类 ESOP’00：第九届欧洲编程语言与系统研讨会会议记录 • 2000年4月，第230-244页 Haskell中的类型类允许程序员定义可以在一组不同类型上使用的函数，每种情况下都有可能不同的实现。 例如，类型类用于支持等式和数字类型，而对于。。。 第条 带类型推理的一类多态性 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 • 1997年1月，第483-496页 • https://doi.org/10.1145/263699.263765 ML和Haskell等语言鼓励将值视为一级实体，这些实体可以作为参数或函数结果传递，也可以存储为数据结构的组件。 相同的语言提供参数多态性，这允许。。。 第条 使用参数化签名表达模块化结构 模块系统是管理大型软件系统复杂性的强大实用工具。 以前为模块化编程制定类型理论基础的尝试都是基于存在类型、依赖类型或清单类型的。 这些。。。 第条 文章 第条 使用类型解析自然语言 FP'95：1995年函数编程国际会议记录 • 1995年7月，第145-155页 我们描述了一个自然语言解析器，它使用类型信息来确定简单句子和短语的语法结构。 这与类型和语法结构扮演相反角色的类型推理研究形成了鲜明对比，类型推理研究的目的是。。。 第条
