Types Department of Computer Science and Technology – Course pages 2023–24: Types Links Semantics of Programming Language CS242 Open Recursion