This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.

×
Stand with UkraineDonate

University of South Florida-Main Campus Course Info

Tampa, Florida

 8 reviews

Favorite

Course Info

Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.


COP 6021

Programming Languages: Design and Analysis

In-depth, graduate-level study of the design and analysis of programming languages. Functional programming, deductive systems, operational semantics, type systems, and proofs of type safety.

Units: 3.0