ICFP’22, Safe Couplings: Coupled Refinement Types, pdf, preprint
PLDI’22 SRC, Coupled Applicative Functors, slides, video, poster, pdf