Nearly all organizations rely on computer and information technology (IT) to conduct business and to operate efficiently. Computer systems analysts work with specific types of computer systems—for ...

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...