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