Dan Synek

Publication Activity (10 Years)

Years Active: 1988-2010
Publications (10 Years): 0

Publications

Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen
Automated Machine-Checked Hybrid System Safety Proofs. ITP (2010)
Lennart Augustsson, Mikael Rittri, Dan Synek
On Generating unique Names. J. Funct. Program. 4 (1) (1994)
Kent Petersson, Dan Synek
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. Category Theory and Computer Science (1989)
Annika Aasa, Kent Petersson, Dan Synek
Concrete Syntax for Data Objects in Functional Languages. LISP and Functional Programming (1988)