Search the dblp DataBase

Publications of Author

1. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
   Random Generators for Dependent Types. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:341-355 [Conf]
   
2. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
   Verifying Haskell Programs by Combining Testing and Proving. [Citation Graph (0, 0)][DBLP]
   QSIC, 2003, pp:272-279 [Conf]
   
3. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
   Combining Testing and Proving in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:188-203 [Conf]
   
4. Qiao Haiyan
   Formalising Formulas-as-Types-as-Objects. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:174-193 [Conf]
   
5. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
   Verifying Haskell programs by combining testing, model checking and interactive theorem proving. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:1011-1025 [Journal]
   
6. Fairouz Kamareddine, Qiao Haiyan
   Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:30, n:1, pp:59-98 [Journal]
   
7. Qiao Haiyan
   Testing and Proving Distributed Algorithms in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
   TAP, 2007, pp:79-94 [Conf]