LINCX: A Linear Logical Framework with First-Class Contexts. - Aïna Linn Georges; Agata Murawska; Shawn Otis; Brigitte Pientka (ESOP, 2017)