Linear Type Systems: What Are They, and How Are They Used in Programming Languages - Lischer, Olivier (My University, 2025)
Keywords: Development Tools; C++; IFS (Institute for Software)