Diane Gallois-Wong
发表
Benjamin C. Pierce,
Leonidas Lampropoulos,
Catalin Hritcu,
2016,
POPL.
Diane Gallois-Wong,
2016
.
Hongseok Yang,
Diane Gallois-Wong,
2015
.
S. Boldo,
Diane Gallois-Wong,
Pascal Cuoq,
2019,
Numerical Algorithms.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2020,
2020 IEEE 27th Symposium on Computer Arithmetic (ARITH).
Sylvie Boldo,
Pascal Cuoq,
Diane Gallois-Wong,
2020,
Numerical Algorithms.
B. Pierce,
Catalin Hritcu,
Leonidas Lampropoulos,
2016,
POPL.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2018,
CICM.
B. Pierce,
Diane Gallois-Wong,
Li-yao Xia,
2020,
Foundations of Probabilistic Programming.