Weihao Qu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Marco Gaboardi
32 publications
Gilles Barthe
30 publications
Deepak Garg
26 publications
Ezgi Çiçek
1 publication

research

∙ 12/12/2018

Bidirectional Type Checking for Relational Properties

Relational type systems have been designed for several applications incl...

0 Ezgi Çiçek, et al. ∙

research

∙ 12/10/2018

Relational Cost Analysis for Functional-Imperative Programs

Relational cost analysis aims at formally establishing bounds on the dif...

0 Weihao Qu, et al. ∙