Qiao Haiyan

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Qiao Haiyan
Testing and Proving Distributed Algorithms in Constructive Type Theory. TAP (2007)
Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Inf. Softw. Technol. 46 (15) (2004)
Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Random Generators for Dependent Types. ICTAC (2004)
Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Verifying Haskell Programs by Combining Testing and Proving. QSIC (2003)
Fairouz Kamareddine, Qiao Haiyan
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. J. Autom. Reason. 30 (1) (2003)
Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Combining Testing and Proving in Dependent Type Theory. TPHOLs (2003)
Qiao Haiyan
Formalising Formulas-as-Types-as-Objects. TYPES (1999)