Rachel Xu -

Not registered as user yet

Name:Rachel Xu

Contributions

POPL 2018	Presenter of Comparison among three program verification techniques in Dependent Haskell, Liquid Haskell and F* within the Student Research Competition-track