Programatica项目
集成编程、属性和验证

研究论文

2004-2006

Isabelle/HOLCF中的公理构造函数类

布莱恩·霍夫曼、约翰·马修斯和彼得·怀特。（2005年TPHOL）

A原则在Haskell中构建操作系统的方法

托马斯·哈格伦（Thomas Hallgren）、马克·琼斯（Mark P.Jones）、丽贝卡·莱斯利（Rebekah Leslie）、安德鲁·托尔马赫（Andrew Tolmach）。（ICFP 2005）

动态不敏感非干扰

丽贝卡·莱斯利。（ISSSE 2006）

2001-2003

自动声音检查Haskell的编程逻辑

理查德·基伯茨

非联合联合的经典化理论

萨瓦·克里斯蒂（Sava Krstic）和西尔万·康川（Sylvain Conchon）

建筑领域分离

威廉·哈里森、马克·图尔森和詹姆斯·胡克

哈斯克尔需求的精细控制

威廉·哈里森、蒂姆·谢尔德和吉姆·胡克

的正式规范Haskell 98模块系统

Iavor S.Diatchki、Mark P.Jones和Thomas Hallgren，2002年

Haskell工具编程项目-演示摘要

托马斯·哈格伦，2003年

的归纳不变量嵌套递归

萨瓦·克里斯蒂和约翰·马修斯，2003年

Haskell的Lexer

托马斯·哈格伦，2003年

中的需求逻辑哈斯克尔

威廉·哈里森和理查德·基伯茨

Haskell的模式驱动减少

威廉·哈里森和理查德·基伯茨，2002年

P-logic：属性验证Haskell项目

理查德·基伯茨（Richard B.Kieburtz），2002年

编程工具高保险系统的可认证、可审计开发在哈斯克尔

Programatica团队

反映需求编程逻辑：Haskell的案例研究

威廉·哈里森和理查德·基伯茨

组合决策策略程序

西尔万·康雄（Sylvain Conchon）、萨瓦·克里斯蒂（Sava Krstic）