I like Girard. The Rust programming language’s borrow checker probably wouldn’t’ve been invented yet if it weren’t for Girard’s 1987 paper, “Linear logic”. (The paper got sustained attention from numerous programming-languages researchers; I read many thousands of papers on programming-language design before the appearance of Girard 1987 and I can recall no exploration of the use of linear types, use-once variables or whatever you want to call them before Girard 1987.)
I like Girard. The Rust programming language’s borrow checker probably wouldn’t’ve been invented yet if it weren’t for Girard’s 1987 paper, “Linear logic”. (The paper got sustained attention from numerous programming-languages researchers; I read many thousands of papers on programming-language design before the appearance of Girard 1987 and I can recall no exploration of the use of linear types, use-once variables or whatever you want to call them before Girard 1987.)