@misc{zhang2025-ficus,
    author = {Zichen Zhang and Simon Oddershede Gregersen and Joseph Tassarotti}
    title = {Building Extensible Program Logics through Effect Handlers},
    year = 2025,
    url ={https://zichen.u8cat.pl/files/ficus.pdf},
    month = nov
}