BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. - Ying Zhao; Jinhao Tan; Guoqiang Li 001 (CoRR, 2021)

Dependent Merges and First-Class Environments. - Jinhao Tan; Bruno C. d. S. Oliveira (ECOOP, 2023)

Dependent Merges and First-Class Environments (Artifact). - Jinhao Tan; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2023)

A Case for First-Class Environments. - Jinhao Tan; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2024)