3 ms·
A bit quaint in the light of the past 15 years. I find it amusing that the paper uses the phrase "type-based formalisms" instead of "type theory".
by Kutta 11y ago
A bit quaint in the light of the past 15 years. I find it amusing that the paper uses the phrase "type-based formalisms" instead of "type theory".