Bidirectional Typing with Freezing, Skeletons, and Ghosts | Digital Library | PAMCET | PAMCET