Python Type Hints Are Turing Complete (Pearl/Brave New Idea).

Ori Roth

Browse the full ECOOP paper archive.