Gaulin, A.and B. Pientka. Contextual Refinement Types. Open Publishing Association, Nov. 2023, doi:10.4204/eptcs.396.2.