[{"run_id":"20260906T231458-5fdd2fff","semester":"1272","observed_at":"2026-09-06 23:14:58.172943+00:00","record_version_id":"ac3a5366bb59a0ac6bae708e745f398c37bb5b7fb529d3603ce21c89b5012a17","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","record_version_id":"ac3a5366bb59a0ac6bae708e745f398c37bb5b7fb529d3603ce21c89b5012a17","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-03b0bbb9723907cf3d1b41cf0bb34837dc398e42","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"bfb5a9fd382fad7204fb44b06243472c00d4771c8a860ce807d9482dbd310192","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0837245627eb714ae6bb0375f7abe8f41042011f","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"bfb5a9fd382fad7204fb44b06243472c00d4771c8a860ce807d9482dbd310192","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-08c92e359bbbc110b0778b7e0b15d6f40000e6b1","semester":"1262","observed_at":"2025-08-21 07:05:14.730696+00:00","record_version_id":"7ffe96f82e7ba68c265ef9ce78d9814b5dd8baa5219e13eff596e874ee42a092","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0944d76440dc778fbb89626058c10451009ce9c6","semester":"1262","observed_at":"2025-05-21 03:36:18.194118+00:00","record_version_id":"39afcd2ecd73e2121d6ef4b323a2a2e58d357cf25d6614be43003601da119fd7","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0a7f4bce29c816ef4d3d71b4eb8a2a3e15e33cc1","semester":"1262","observed_at":"2025-06-18 20:04:02.695444+00:00","record_version_id":"08f6b6fdeab4ea77850fc0a055c0221693f844ce1ec419c29e6b70c27dd9ea49","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0ab917f827a7de22ebdc1087114d377a31c4687b","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"a880a04e4c9cea20a921a27914ef509a82f51599cb01bd65b1f757f9b88b5dab","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0c40ecab4b6db9333d1f18aef816e3ee659e300c","semester":"1262","observed_at":"2025-05-25 18:02:34.797617+00:00","record_version_id":"710df08323d60ffe205618da3e017c5541c3fef83f18342b3af746c61d270487","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-0cb4d29a588ec7f11c7e00b7cf5dc3a0d23d0349","semester":"1266","observed_at":"2026-01-22 01:00:26.555427+00:00","record_version_id":"7ad1a06c557a9a3a107437eb97f420dd894623e5db5c6c51cae5af486c99a371","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-11c30ec39e91498cbfcf3a923c53a4b03e387280","semester":"1262","observed_at":"2025-07-20 04:58:26.847117+00:00","record_version_id":"65daa26732ed02b325ed148df787c8a52bdd28e5833a3f01070bd39b09b9ad8a","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-13cd500edf2587e9a3428f326253738fbea965ea","semester":"1264","observed_at":"2025-12-14 04:50:04.653658+00:00","record_version_id":"e0a94b086b8b632226f60685ac3767783428f0953397c45e7832d56f584c0ad8","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-1da08b2de39f05e6bc877c189fc2fd6eeda563f5","semester":"1262","observed_at":"2025-07-01 00:03:56.707251+00:00","record_version_id":"08b6fb9331e1973409a356bc80af63f6ac8b5d8b03546bc8340729d2229bff82","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-2031af47efe133b0e7877f433286ff07385afc41","semester":"1262","observed_at":"2025-07-02 20:16:45.749584+00:00","record_version_id":"b9f966ac1728920bae62ac01cb223ebba1780de64c9473da2703ba22538aca07","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-238eba6f32fbc30407f616dd0628ff02a2a824dd","semester":"1262","observed_at":"2025-08-17 05:15:07.788352+00:00","record_version_id":"409434f0483a8fc2315d86a93a78f9f0a892394821c310b86ccc8ff3eeb585e7","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-25f0ff56bc4d80f8a8afa1a0bcce8dae6fddb5e5","semester":"1262","observed_at":"2025-05-25 17:20:25.942090+00:00","record_version_id":"c85906a4869f5d410f845d57e35041c88544695801a599090c21f09407ba179b","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-2923f91826ce253b7aeefa9f75b4a39fe4c80ff0","semester":"1262","observed_at":"2025-08-10 05:10:25.938416+00:00","record_version_id":"e5747cd4b14156918132e328e547b09f758cdad57a8213f8ec185850babbc87f","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-2a05214a4023e0157fa6f7d188c85308f714176c","semester":"1262","observed_at":"2025-09-07 04:56:38.255315+00:00","record_version_id":"d42a08ba6dcbcbb72d6189f678aa7e61c3bbf716021cc587aa9c29e1045a9322","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-2b1b8e39131de92b94620b25c5bbb25690efed4c","semester":"1262","observed_at":"2025-06-01 07:54:53.913454+00:00","record_version_id":"1ec5587b31f352c2a8979d9af9fd6c53876f22f49a72ce7854029550af71010d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-33a1225644e5a5855d60f66e65413946e72fedf4","semester":"1262","observed_at":"2025-06-22 01:52:05.152650+00:00","record_version_id":"29bfc2e259ee3c96c98cabdc03e39a22eba65839c6900caafe6308b512a9919a","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-3b89c83dbf5208e13756184de1f2b2d0c09af35f","semester":"1262","observed_at":"2025-06-30 06:40:10.235522+00:00","record_version_id":"ed24c8255270a42eabcf3bb80deee01db844d66cf6bc7611bf4f1bfe1bcd99d9","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-3c3eebf7f35c39364b445a2fa5a112ce28dbb4a1","semester":"1262","observed_at":"2025-06-01 17:03:59.062985+00:00","record_version_id":"86b75f5cd67a6379d595604dd38a6c6df03e610fa2fbd38cf33658e92161da82","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-3fa4dd71391f1c9cf4ab2216680bbc428689f92d","semester":"1262","observed_at":"2025-05-25 01:15:58.180530+00:00","record_version_id":"889e0c14d763c88e9cc06866088fe23c28202c99cfc02bdfc9106b7d82d0fbc4","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-4040aa216da722a34483f68fc1e129ea571ae08d","semester":"1262","observed_at":"2025-06-01 07:27:39.695506+00:00","record_version_id":"98f0efee4413927f6c51a633f6817b04545b504eed97d642cd650ab8fe3a9847","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-454d53cd690294459f8ad0793cc3ed562060e56c","semester":"1262","observed_at":"2025-05-25 01:34:00.536004+00:00","record_version_id":"7b9d4eafdbdb778ffc7cd3bc5bcc34ba93f04710953a944649f6cfd24473fd60","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-486f091e051fdb4ccdb80ee7b4fb0a5814510324","semester":"1264","observed_at":"2025-11-16 05:32:31.273726+00:00","record_version_id":"cde8cbe6fb034560e82fea56e860bd37840c38682b4f5e8605b19704752a4cc1","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-50393cfc5fd5598d4f4731ef1919f2ff53af07d9","semester":"1262","observed_at":"2025-06-30 06:05:57.438846+00:00","record_version_id":"f1aaf721ef2a5b34ddf4611e1cd8a58828bc536926625fe8a09da0dd6270e875","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-50f6947786b208c800db8bbd0cec84a8f0f187d2","semester":"1262","observed_at":"2025-06-02 03:49:42.915428+00:00","record_version_id":"5d49fe63a8cb783ca53887b360d7a69af485bc116b4763cde4ac76f97357ba4d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-51d86ed4082dced3803c295419b0ec8440942016","semester":"1264","observed_at":"2025-11-12 04:50:41.141307+00:00","record_version_id":"be597f9ec903d9ba4136ad0815db08032384f087e42d311f1abde8b06f3dd90d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-53101bd1c10db0d00d094e4c9154d4c244ff23d9","semester":"1262","observed_at":"2025-10-05 04:58:05.366968+00:00","record_version_id":"6973a0bb0c4aced3fc1bf70a85c4981568a04c827659794376ae7c0b4d34254d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-58751151c564e11c5cb8aedd3a2d3527c22f73eb","semester":"1262","observed_at":"2025-06-01 06:59:01.536576+00:00","record_version_id":"d6388287a04ba3a2f6dcfdac09f42d31b2971103c28a973e733acaa1a77e7c90","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-5c4c8d3701a333ba4ddadef7d0b5dde8440fcdf0","semester":"1262","observed_at":"2025-06-01 01:57:51.256704+00:00","record_version_id":"807d9e6125280b248f293c76f291bbfc83f3c8613d0ea07710b7d4ee52125980","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-5d20d9f81651d3c83fcaa2fd10870ce6e5d5a685","semester":"1262","observed_at":"2025-05-21 16:48:48.484741+00:00","record_version_id":"92b8062be34f2d5431068c257b5c56cbae5f5ee39e3b5ec6ff20df82a5733fe6","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-5feaebf2ab37051c86ad360cc0fa0d7e0e2ea295","semester":"1262","observed_at":"2025-05-24 15:58:23.378859+00:00","record_version_id":"535fa0b453a7204ccf82e378332fa353490b8b8821739d89194e00814792055a","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-60949965544fce098cc006354e201149005fb77b","semester":"1264","observed_at":"2025-10-26 05:07:14.077864+00:00","record_version_id":"6973a0bb0c4aced3fc1bf70a85c4981568a04c827659794376ae7c0b4d34254d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-639225ac3addf8522f1d30cb4fe26054ea7f8c49","semester":"1262","observed_at":"2025-06-01 08:14:42.497608+00:00","record_version_id":"1028460131aa58ea8ca4e27ebd5472a7d233b618392161b5c1d5a22c77fb46b3","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-64093b17b3a9c67a41aa33eb37adb53ec38df714","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"276789f9b415e94219d7ddc3c86b8a986d3fb3709006c45945359498e27b0d3c","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-6885b56099f55e08aa0205546369fb0381d50e13","semester":"1262","observed_at":"2025-07-13 04:59:22.367394+00:00","record_version_id":"bace3ac403137b0a7c91814305fa6ce6d23ce615f33e6c886e7167dcbcc3f4c0","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-69d4b2b16e8268f75b6390b3a0e2ce8bf73999da","semester":"1262","observed_at":"2025-06-30 03:21:29.925498+00:00","record_version_id":"70d4d3e247d1d9578f8d003a5de568b9f48412ff19e0e6750b6f2ea9f47d8cee","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-6b29c3e0673b2f9a736d2363db5409e03d5b3ed4","semester":"1264","observed_at":"2025-12-03 12:33:41.418072+00:00","record_version_id":"bb03fdea806f903d58a70d2ce41b18d49ac1b29466aa375688bc0a24895121d5","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-73259984748de484976ef2ad56ad7ab3d4cb4518","semester":"1262","observed_at":"2025-06-26 08:27:56.461216+00:00","record_version_id":"995ff03102cabd9a36e5c5cd67133ee88f203867707727b2b685fdeb4d52ea03","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-741602fbc6252c232a0b9e6bc1a9ae3101625f5a","semester":"1262","observed_at":"2025-06-30 22:49:32.522034+00:00","record_version_id":"95b6e9410daefa51b498ee720da04dbeafb020e6d99253d65bea2b5724c1c913","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-7774f45558276ec29bf626e58fffb4a27bdbb2a9","semester":"1264","observed_at":"2025-11-01 11:49:36.359151+00:00","record_version_id":"1291a02bd2ccac4c9a5e1d5007871b39fadf0e11327fd33c61793f4f06270661","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-7ab7c5e783fc8ebef8b8ee8cea019ee37a72ce74","semester":"1262","observed_at":"2025-09-28 04:58:07.340658+00:00","record_version_id":"4a820c5abe3469c837cbda14a2950eae5123f04bd9a9e57410d0884297d00c6f","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-7b2f22d83ea05055ab90dcb77dc802382cccc6f7","semester":"1262","observed_at":"2025-05-21 17:56:46.096741+00:00","record_version_id":"801d77d198dc8e380da7806ffb0878b0448dcab0ea466a952f919494e1203636","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-7ca1175502be18eb51f7b016818a884a43fd4ebb","semester":"1262","observed_at":"2025-07-29 06:28:23.644795+00:00","record_version_id":"c5d65b734e437b63a011b9fc2550827b8d45fe1273e9e59c7503a190b8510e44","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-7d8cee5e42602ad9ba5dc0322085af2fa0dffaac","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"8583aa746f89d6d226660be1a6006606e0b4fc0466e3318f99d1be750246bcfe","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-81a0d6a7f668c98c59bd05fa988aa079c5ad1f68","semester":"1262","observed_at":"2025-05-31 07:49:50.419452+00:00","record_version_id":"0746bb6c2499410782c007610a1c42940a3802e02e765871d46b67d95fbb3bb9","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-82f31c08c746a214872494cde6ecaeb9330441b4","semester":"1262","observed_at":"2025-06-17 21:26:08.547156+00:00","record_version_id":"13755fb83a3a4f2b4acb377aa3d836ecd52ab16f09c564a42559a67e25ef6296","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-84c248343c5a99ab42c5616c594812a5e3e31cbb","semester":"1262","observed_at":"2025-07-04 06:00:07.487827+00:00","record_version_id":"82d11777e12a053d849834f07e24aaec1710b01dd8d5ae469263a552bc38d73a","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-86334e7275e315853287e8580c35456c68df800b","semester":"1262","observed_at":"2025-05-22 06:53:03.336354+00:00","record_version_id":"6e97bde6dd45154c6dea9934e1bbbda85ad7ae2bab8abf64f669933ba2741bb8","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-8686dc1664f93a6c05f50321410961b39b12f91b","semester":"1262","observed_at":"2025-05-28 10:17:41.595894+00:00","record_version_id":"e81edc8db9207094f313eb95559fdbf5307d09da0d3336978d4524069062b320","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-86d941366886c9a14a2581c04e20d0bdd25e1b02","semester":"1262","observed_at":"2025-08-31 04:54:14.656039+00:00","record_version_id":"3b84b7f51435439a352ca29bd49cb417af20610407afcc0f06d88591148e6d99","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-8ba1d2e6cfbb1525b4f9f769ec164fb6ad0f237a","semester":"1262","observed_at":"2025-06-02 05:22:45.010398+00:00","record_version_id":"d794f3624ad208f370d6da67f8a746d33786b70b62e17fe00aee58937ca15768","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-90e5aa456689a3b222016c05c319bbcd0bddd453","semester":"1262","observed_at":"2025-05-25 02:00:10.037905+00:00","record_version_id":"9afc884353b00bde9eae44c9d440952a459e052ed3bc5e60e9150ab79b982966","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-92d960aa7e4cd6e4c9ac8b2e232092904038e9e4","semester":"1262","observed_at":"2025-06-08 01:50:46.451351+00:00","record_version_id":"f59e217954c4c84383564e05a38d8ddc3471af2b4056e8f4fcdf51436bc4c99b","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-94002ae588a8f71eca6d64105f2e603e8587293b","semester":"1262","observed_at":"2025-05-21 09:01:16.021508+00:00","record_version_id":"6a8dcda6c46e91c246f00272d19d9580641f994b44ea7459307a1f0d2a545804","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-9dd575e013c5c6e000ab3ad2d1288cc1dd9c96dc","semester":"1264","observed_at":"2025-12-21 04:47:46.589081+00:00","record_version_id":"e9c28e706be0356b6d91096d84c3824a4b1d7ea904f32157aaea77a304930e78","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-a1ea26ed78cbd6e94bc3221e50a6ed9b6bf43871","semester":"1262","observed_at":"2025-05-25 09:16:55.180581+00:00","record_version_id":"d857ccaca56fc3c67593a8080fcb8ecc600eb62798fc94dc6619e8175e80d480","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-a76a3505853d5ea9c13bb98472b87361d469e2ee","semester":"1262","observed_at":"2025-05-28 18:03:41.793846+00:00","record_version_id":"24a11212ae1b6134df62fe97aad367e7f3ab62e006b683ff428c7a979dec6a89","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-b285d591f6acf3aa1910e02edc297664db86eb8c","semester":"1262","observed_at":"2025-06-10 22:48:22.460295+00:00","record_version_id":"a976e97490a06d4a3ec992909d3fd12546e2b8e0beac0d751c0be72141de47a2","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-b79af756e4f00ba98231feb859ed8e98239eb811","semester":"1262","observed_at":"2025-05-22 02:47:56.931581+00:00","record_version_id":"2cd57c6f73d240cfaee3e947d6cae7f1c55e4f5d716ce3172143441833c70519","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-b89e05b94730c6471439082d9279c0a834a4aeec","semester":"1262","observed_at":"2025-08-26 20:25:42.325239+00:00","record_version_id":"41abe53abdaf7fdb473a11846598d8e77e8688a74f27c43a0ff8363eff5b4e05","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-b9279a12d1f2688df9e556183c94d41a89e431dc","semester":"1262","observed_at":"2025-07-06 01:49:47.203835+00:00","record_version_id":"d2c8070ea8a5738e973c46c8a471b18aba33d709676ce9a38d61ef4a50c36bd5","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-bbdc905e96cc681a5e9a8b02c795b682206e36d1","semester":"1262","observed_at":"2025-06-25 08:02:45.445730+00:00","record_version_id":"d794f3624ad208f370d6da67f8a746d33786b70b62e17fe00aee58937ca15768","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-bde225b5243a13d81827aa173e39c78a652b54a0","semester":"1262","observed_at":"2025-05-23 07:22:33.219345+00:00","record_version_id":"34c4088aadcf944ef94442bf51b009da3c1e6395350a2d21d6cef39eb5c2f367","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-c1fac4cbfde737f4f4ac02cdf15e6f5a9b5b676d","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"8583aa746f89d6d226660be1a6006606e0b4fc0466e3318f99d1be750246bcfe","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-c6b62be45f8a13cba109ef2a7741b9cd9a6b8272","semester":"1262","observed_at":"2025-08-24 08:48:09.035112+00:00","record_version_id":"77a27011e78670d4f18ee5263c9fa16f4c2f82295d002bfb994e47de1470cb2a","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-cc83f62cb6db61f39320916d819ad48ce55cd96d","semester":"1262","observed_at":"2025-05-22 00:45:35.735230+00:00","record_version_id":"04d89aad1bc4ba1e6a191178495f2b09d84c0e2b73e3c504af295a05ec13ff12","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-d33818a01b6b4c5e2902e704da6e5b713742d4dc","semester":"1262","observed_at":"2025-10-13 10:46:24.251475+00:00","record_version_id":"cd90c2afc9bed444409e19408a1cf0a1d632e1fcf29082587f9c56503569722d","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-d3c17db9832d3064916046caf891dd23f10b1bb9","semester":"1262","observed_at":"2025-08-26 11:30:42.288639+00:00","record_version_id":"dfd73276edb4cbb35ef932b16b263d898e3e80abf425bbe8236beaeded4e7b8b","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-d4ee226dc44268e9b6767fb9f5f20343322f494b","semester":"1262","observed_at":"2025-06-15 01:52:23.911697+00:00","record_version_id":"98323f229f25bde2f9b2f808185b76b5508a4c32d078e7431e2c83650d53d3d4","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-d8f9fc7f136e2033556d9d65bbdbdf33425dbdc9","semester":"1262","observed_at":"2025-05-28 16:48:12.400438+00:00","record_version_id":"75c4f6f3e4ea0104c7aff194e547998f908cfa669e7d5f17996859d72270e405","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-dbbc9739c616c3846b2e796e00a36fa41225f7d8","semester":"1262","observed_at":"2025-06-01 17:47:19.325144+00:00","record_version_id":"05ae606dcb18fafa742a70343e52372c776005a9a35e41c02c842a95362d4a03","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-dbe5f2d24b48c3177297a3d69c553cc9d1194bac","semester":"1262","observed_at":"2025-09-14 05:00:27.366070+00:00","record_version_id":"4b90c415b60d603671fba90f5d1eadb2453525b5a51f04aca1e79b75b260b880","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-dd357dc2758e9e282c30988a527ce37de92593b9","semester":"1264","observed_at":"2025-10-19 01:39:41.951404+00:00","record_version_id":"60e89d40b7ee5fee86ec4856d34f1900cff40300833b980c6f34ada6eaf79d5e","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-de74de559e409a3fe668685e28043b888d2e6841","semester":"1262","observed_at":"2025-06-27 07:38:50.882897+00:00","record_version_id":"da14dc7830a8d620ea82e1e246fed0321b0857f9947d2edf2b1c8b698bd870d9","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-deca7188cf536ade3203cd88b52a45e92a059617","semester":"1262","observed_at":"2025-06-27 00:37:46.087071+00:00","record_version_id":"e65db60369f09ac83de8291f81efd3158127224ab19ef80b0b111e9dd58bce33","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-df60fa9ac3931c5612b0fa641b7a6f5fbec86fab","semester":"1262","observed_at":"2025-05-24 06:36:37.554678+00:00","record_version_id":"003a559594c55ca3882f784a8abcb7a2f0bb3b128a1634a3a21491793cf712ef","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-e339da2d849aaf8bb4dceca07a84728af23cf755","semester":"1262","observed_at":"2025-07-23 08:49:22.748925+00:00","record_version_id":"962b30890944f4d9a04b1671461e119681f4b13cc1f859285093c9b90c6a6eaa","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-e934b1784835f5d36ae9b7ef0992b11e72c39142","semester":"1262","observed_at":"2025-06-01 06:21:25.219533+00:00","record_version_id":"6a097a99c5e65a934f84c0798a3c9f4880ad6e95ae594024547d4dc5d0aab89f","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-ef471690c082448deebd2687eab84b0b78813c36","semester":"1262","observed_at":"2025-06-29 01:47:56.317645+00:00","record_version_id":"0d4ca4e90b8a51af5cd6d156e10746222705995f2e596b050ea21adb0718ba94","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-efc4e8e2cd7c3f68e059a308990c00c77c7611eb","semester":"1264","observed_at":"2025-10-16 05:48:13.935141+00:00","record_version_id":"25c69d11019bb27025ad37456927dcb997e80d88813963745efe0a7753787e66","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"},{"run_id":"legacy-f18b7749725097d41f69c60779ff38cf073b93b3","semester":"1262","observed_at":"2025-05-21 19:52:03.259353+00:00","record_version_id":"3f7fae0aad1626ade0ad6af5974fe6f1991cc30f72b3708b51b1791631b17e6f","course_id":"COMPSCI 704","course_uid":"course_6687e6ce8fc5dbce092f6e77","catalog_version_id":"1877849a2c4ffc15b950f6917683f95b0e22f98b690ee0cb5208bc08aa9dff16","course_number":704,"subjects":["COMPSCI"],"title":"PRINCIPLES OF PROGRAMMING LANGUAGES","description":"Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.","requirements_text":"Graduate/professional standing"}]