Programming Languages

python ref cycles are everywhere parameter elimination with currying different notions of a type infinitely recursive types ref cycles in c++