4 ms·
I remember a Luca Cardelli paper that explores a language with "type:type" and it contains a sentence roughly expressing: "even if the type system is not satis
by burakemir 10mo ago
I remember a Luca Cardelli paper that explores a language with "type:type" and it contains a sentence roughly expressing: "even if the type system is not satisfying as a logic, it offers interesting possibilities for programming"
- burakemir 10mo ago"A Polymorphic λ-calculus with Type:Type"
- randomNumber7 10mo agoI will implement that in my pension if no one else does it in the next 30 years.