Contextual Refinement Types. - Antoine Gaulin; Brigitte Pientka (LFMTP@FSCD, 2023)