帕特里克·詹森,fp.st.cse.chalmers.se
查尔默斯科技大学和哥德堡大学
我们的“通用编程”工具箱
- 类型(类型系统、PTS)
- 函数编程(lambda calculi)
- 数据类型(基于类别理论)
- 语言处理(语法、解析、转换…)
- 从属类型(归纳族,Martin-Löf类型理论)
- 可执行规范(QuickCheck测试、Agda验证、FOL工具)
- 领域特定语言(通常嵌入在Haskell中)
最近的论文/项目
- 论文:
- ParaDep:依赖类型的参数化,ICFP 2010
- PolyTest:测试多态性,ESOP 2010
- 概念:C++概念=Haskell类型类,JFP 2010
- VulnModel:Monadic动态系统(用于漏洞建模的DSL),DSL 2009
- AoPAgda:Agda编程代数,JFP 2009
- 项目:
- 功能C:VR项目。关于使用DSL使FP工作
- GSDP公司:欧盟项目。用于全球系统建模的DSL
我们是谁
Patrik Jansson,2000年博士,“多型性”,2004年副教授
- 以前的学生
- Ulf Norell,2007年博士(现为PostDoc&Quviq)
- Nils Anders Danielsson,2007年博士(现为PostDoc Nott.)
- 现任学生
- Jean-Philippe Bernardy,博士研究生,2007年--
- Industry exp.、Yi、Concepts、LazyParse、PolyTest、ParaDep
- Cláudio Amaral,博士研究生,2010年--
- Jonas Duregárd,博士研究生,2010年--
- 国际合作伙伴:
重叠的兴趣(我根据摘要猜测):
- Taha/Patrik+GSDP:混合建模,高级建模
- 井上/帕特里克+乔纳斯?:关于分期项目的推理
- Brauner/Patrik+JPB?:证明重构