Shing Hin Ho

Orcid: 0009-0000-4483-5841

According to our database¹, Shing Hin Ho authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming.

[DOI]

Proc. ACM Program. Lang., 2026

2025

Bayesian Separation Logic.

[DOI]

CoRR, July, 2025