Dan Synek

According to our database, Dan Synek authored at least 4 papers between 1988 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Automated Machine-Checked Hybrid System Safety Proofs.

Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

1994

On Generating unique Names.

Lennart Augustsson, Mikael Rittri, Dan Synek

J. Funct. Program., 1994

1989

A Set Constructor for Inductive Sets in Martin-Löf's Type Theory.

Kent Petersson, Dan Synek

Proceedings of the Category Theory and Computer Science, 1989

1988

Concrete Syntax for Data Objects in Functional Languages.

Annika Aasa, Kent Petersson, Dan Synek

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988