Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types