Eelis van der Weegen

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Bas Spitters, Eelis van der Weegen
Type Classes for Mathematics in Type Theory CoRR (2011)
Bas Spitters, Eelis van der Weegen
Type classes for mathematics in type theory. Math. Struct. Comput. Sci. 21 (4) (2011)
Bas Spitters, Eelis van der Weegen
Developing the Algebraic Hierarchy with Type Classes in Coq. ITP (2010)
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen
Automated Machine-Checked Hybrid System Safety Proofs. ITP (2010)
Eelis van der Weegen, James McKinna
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. TYPES (2008)