Eelis van der Weegen

According to our database, Eelis van der Weegen authored at least 4 papers between 2008 and 2011.

Collaborative distances:

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

2011

Type classes for mathematics in type theory.

Bas Spitters, Eelis van der Weegen

Math. Struct. Comput. Sci., 2011

2010

Developing the Algebraic Hierarchy with Type Classes in Coq.

Bas Spitters, Eelis van der Weegen

Proceedings of the Interactive Theorem Proving, First International Conference, 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

2008

A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.

Eelis van der Weegen, James McKinna

Proceedings of the Types for Proofs and Programs, International Conference, 2008