[第个]

托马斯·哈格伦

2001年7月5日至2006年9月30日,我在OGI公司.我的主要职责是支持程序性项目。

在此之前,我在计算科学部查尔默斯理工大学.My Chalmers主页描述了我在那里的活动。我于2009年11月返回查尔默斯。

软件

一些论文和演示

依赖类型的窥视和戳
2006年1月27日,Programatica会议谈话。
Haskell中操作系统构建的原则方法
论文发表于ICFP 2005年.
命令行解析组合器
2005年2月11日,半生不熟的谈话。
2004年Haskell研讨会
我是项目委员会的成员。车间程序.
仙人掌.
2003年6月10日星期二研讨会。
终止研讨会亮点和类型理论,
2002年12月10日星期二研讨会。
2002年ICFP编程竞赛.
的形式规范Haskell 98模块系统,
2002年Haskell研讨会.
Haskell的Lexer,
在2002年1月14日的Haskell实施者会议上提出。

链接


托马斯·哈格伦
托马斯+h 在altocummulus-dot-org
[有效的HTML?] [检查链接]