Showing 1 - 3 results of 3 for search 'Ong, CL', query time: 0.02s Refine Results
  1. 1
    On probabilistic termination of functional programs with continuous distributions

    On probabilistic termination of functional programs with continuous distributions by Beutner, R, Ong, CL

    Published 2021
    Conference item
  2. 2
    The difference λ-calculus: a language for difference categories

    The difference λ-calculus: a language for difference categories by Alvarez-Picallo, M, Ong, CL

    Published 2020
    Conference item
  3. 3
    InterpChecker: Reducing State Space via Interpolations

    InterpChecker: Reducing State Space via Interpolations by Duan, Z, Tian, C, Duan, Z, Ong, CL

    Published 2018
    Conference item

Search Tools: