5 Feb
2002
5 Feb
'02
11:13 p.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.