top | item 46025724 (no title) burakemir | 3 months 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" discuss order hn newest randomNumber7|3 months ago I will implement that in my pension if no one else does it in the next 30 years. burakemir|3 months ago "A Polymorphic λ-calculus with Type:Type"
randomNumber7|3 months ago I will implement that in my pension if no one else does it in the next 30 years.
randomNumber7|3 months ago
burakemir|3 months ago