标准材料
我的出版物
作为BibTeX
在谷歌学者
在DBLP
ACM作者简介
我的简历
在PostScript中
PDF格式
合著者索引
LinkedIn简介
论文草稿
合成编译器正确性的句法证明
软件
合作互联网托管工具
,包括
DomTool(域工具)
,一种特定于域的语言,支持相互信任的用户进行共享UNIX系统配置
标准ML的动态网站工具
,包括用于访问SQL数据库的单独可用库
可以从以下位置找到其他各种项目的链接
我的SourceForge配置文件
.
这个网站的大部分是使用XSLT从XML数据库构建的。
我已经
发布了我执行此操作的代码
.
照片
2016年SPLASH
2016年APLAS
2016年NDIST
2017年POPL
…以及所有其他
哈佛大学Coq课程,2008年秋季开始
交互式计算机定理证明课程
(专注于Coq),我在2006年秋季授课
Objective Caml和Standard ML编程语言的逐点比较
挑战问题和解决方案
我在上发布的
POPL标记
邮件列表
寻找互联网托管,在那里你可以疯狂地用你最喜欢的非主流编程语言开发互联网服务?
加入
HCoop,互联网托管合作社
!
我的个人网站
的存档版本
我在伯克利的最后一个网站
学术谱系学
我所知道的埃尔德数的最佳上界:
三