Dan Synek

	1994
3		Lennart Augustsson, Mikael Rittri, Dan Synek: On Generating unique Names. J. Funct. Program. 4(1): 117-123 (1994)
	1989
2		Kent Petersson, Dan Synek: A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. Category Theory and Computer Science 1989: 128-140
	1988
1		Annika Aasa, Kent Petersson, Dan Synek: Concrete Syntax for Data Objects in Functional Languages. LISP and Functional Programming 1988: 96-105

Coauthor Index

1	Annika Aasa	[1]
2	Lennart Augustsson	[3]
3	Kent Petersson	[1] [2]
4	Mikael Rittri	[3]

Colors in the list of coauthors