咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 functional progr...

机构

  • 1 篇 utrecht universi...
  • 1 篇 cse chalmers uni...
  • 1 篇 icsl utrecht uni...

作者

  • 1 篇 jansson patrik
  • 1 篇 kleerekoper jaco...
  • 1 篇 jeuring johan
  • 1 篇 overeem michiel
  • 1 篇 visser kees
  • 1 篇 mak sander
  • 1 篇 cabenda laurence
  • 1 篇 engels gerbo

语言

  • 1 篇 英文
检索条件"机构=Utrecht University Generic Programming Class"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Testing properties of generic functions
收藏
分享
引用
18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
作者： Jansson, Patrik Jeuring, Johan Cabenda, Laurence Engels, Gerbo Kleerekoper, Jacob Mak, Sander Overeem, Michiel Visser, Kees CSE Chalmers University of Technology Sweden ICSL Utrecht University Netherlands Utrecht University Generic Programming Class
A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the d... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件