Qiao Haiyan

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
c5		Qiao Haiyan: Testing and Proving Distributed Algorithms in Constructive Type Theory. TAP 2007: 79-94
	2004
j2		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)
c4		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Random Generators for Dependent Types. ICTAC 2004: 341-355
	2003
j1		Fairouz Kamareddine, Qiao Haiyan: Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. J. Autom. Reasoning 30(1): 59-98 (2003)
c3		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell Programs by Combining Testing and Proving. QSIC 2003: 272-279
c2		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Combining Testing and Proving in Dependent Type Theory. TPHOLs 2003: 188-203
	1999
c1		Qiao Haiyan: Formalising Formulas-as-Types-as-Objects. TYPES 1999: 174-193

Coauthor Index

Last update Wed May 22 01:27:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page