Qiao Haiyan

According to our database, Qiao Haiyan authored at least 8 papers between 1999 and 2007.

Collaborative distances:

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

2007

Testing and Proving Distributed Algorithms in Constructive Type Theory.

Qiao Haiyan

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2004

Verifying Haskell programs by combining testing, model checking and interactive theorem proving.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Inf. Softw. Technol., 2004

Random Generators for Dependent Types.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Testing and Proving in Dependent Type Theory.

Qiao Haiyan

PhD thesis, 2003

Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF.

Fairouz Kamareddine, Qiao Haiyan

J. Autom. Reason., 2003

Combining Testing and Proving in Dependent Type Theory.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Verifying Haskell Programs by Combining Testing and Proving.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

1999

Formalising Formulas-as-Types-as-Objects.

Qiao Haiyan

Proceedings of the Types for Proofs and Programs, 1999