Dan Synek
发表
Herman Geuvers,
Adam Koprowski,
Dan Synek,
2010,
ITP.
Dan Synek,
Kent Petersson,
Kent Petersson,
1989,
Category Theory and Computer Science.
Annika Aasa,
Dan Synek,
Kent Petersson,
1988,
LISP and Functional Programming.
Lennart Augustsson,
Mikael Rittri,
Dan Synek,
1994,
Journal of Functional Programming.
Makoto Takeyama,
Dan Synek,
Catarina Coquand,
2006
.