LINCX: A Linear Logical Framework with First-Class Contexts.

Ana Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka

Browse the full ESOP paper archive.