24:23 [TyDe'23] An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstr... ACM SIGPLAN
19:02 [TyDe'23] Towards Tagless Interpretation of Stratified System F (Extended Abstract) ACM SIGPLAN