TY - RPRT TI - A Domain-Theoretic Approach to Statistical Programming Languages AU - Jean Goubault-Larrecq AU - Xiaodong Jia AU - Clément Théron PY - 2021 UR - https://arxiv.org/abs/2106.16190 ID - 2106.16190 ER -