6 Feb
2002
6 Feb
'02
4:43 a.m.
What is arbitrarily ranked polymorphism? I don't understand anything past rank 2... Is this arbitrarily ranked polymorphism decidable? This message has been brought to you by the letter alpha and the number pi.