[天]

托马斯·哈尔格伦

从2001年7月5日到2006年9月30日,我在奥吉.我的主要职责是支持编程项目。

在那之前,我在计算科学系查尔默斯工业大学.我的Chalmers主页描述我在那里的活动。我于2009年11月回到查尔默斯。

软件

一些论文和报告

用依赖类型偷看和戳
2006年1月27日。
Haskell操作系统构造的一种原则性方法
论文发表于2005年ICFP.
命令行解析组合子
半生不熟的谈话,2005年2月11日。
2004 Haskell研讨会
我是节目委员会的成员。车间程序.
仙人掌.
2003年6月10日,星期二研讨会。
终止研讨会要点类型论,
2002年12月10日,星期二研讨会。
2002年ICFP编程大赛.
的正式规范Haskell 98模块系统,
2002年Haskell研讨会.
哈斯凯尔的莱克瑟,
在2002年1月14日举行的Haskell实施者会议上发表。

链接


托马斯·哈尔格伦
托马斯+h 在高积木点组织
[有效的HTML?] [检查链接]