Fall 2026

Principles of Programming Languages

Introduction to principles of advanced programming languages and programming-language theory.

offering recorded3 credits
Recorded instructors · Fall 2026 Charles Yuan

Summary

1 / 3

Recent recorded grades — Spring 2022: 3.89 GPA, 100.0% A/AB (n=19 letter grades); Fall 2024: 3.81 GPA, 100.0% A/AB (n=27 letter grades); Fall 2025: 3.82 GPA, 100.0% A/AB (n=22 letter grades).

Grade history

↗
average GPA
letter grades
A
AB
B
BC
C
D
F

All recorded terms · compare terms & instructors

Prerequisites

Course map

Graduate/professional standing

  • Graduate/professional standing
COMPSCI 704

This is a best-effort interpretation; check the catalog requirements above.

Prerequisite text tree
  • Graduate/professional standing

Professors

Fall 2026
Historical instructors & teaching patterns

Recorded history may be incomplete and does not establish a future schedule.

Calendar & sections

Fall 2026

Schedule loads here as you scroll.

SectionModeEnrolled / capacityWaitlist
LEC 001Classroom Instruction19 / 300

Times are Central. Select a meeting for details; export includes recorded dates for the selected sections. Enrollment reflects scan time.

Meeting source records
Download part 1

Student experience

the class

Recent recorded grades — Spring 2022: 3.89 GPA, 100.0% A/AB (n=19 letter grades); Fall 2024: 3.81 GPA, 100.0% A/AB (n=27 letter grades); Fall 2025: 3.82 GPA, 100.0% A/AB (n=22 letter grades).

difficulty & workload

No workload feedback recorded.

Topics

  • Lambda-calculus and functional languages
  • Type inference and formal semantics

Skills

  • Principles of advanced programming languages
  • Analysis using formal semantics and type systems

Grades

Latest available · Fall 2025— not enough history to project Fall 2026.

average GPA
A / AB grades
letter grades
Instructor

Grade distribution · % of letter grades

A
AB
B
BC
C
D
F

Grades over time

Through Fall 2025

More grade details Grade mix, volume & source data

Not enough comparable courses for Fall 2026 in UW–Madison.

Sources & history

UW–Madison

Catalog & offerings

Descriptions, prerequisites, and recorded course offerings.

Catalog observation history

Observations at scan time; dates do not imply when a catalog change took effect.

Download part 1
Selected offering source records
COMPSCI 704 · Fall 2026

Principles of Programming Languages

Recorded 2026-09-07
Raw records 
[
  {
    "run_id": "20260907T155543-ce3781c4",
    "semester": "1272",
    "observed_at": "2026-09-07 15:55:43.033547+00:00",
    "offering_id": "1272:266:004303",
    "course_id": "COMPSCI 704",
    "course_uid": "course_6687e6ce8fc5dbce092f6e77",
    "term_id": "1272",
    "source_course_id": "004303",
    "source_subject_id": "266",
    "title": "Principles of Programming Languages",
    "credits_min": 3,
    "credits_max": 3,
    "typically_offered": "Occasionally"
  }
]
Rate My Professors

Student reviews

Original comments behind the course and instructor summaries.

Read original reviews

No records available.

Madgrades

Grade history

Recorded grade distributions by term, section, and instructor.

Explore recorded grades
Dataset & model

Recorded 2026-09-07

View the dataset on Hugging Face
Model outputs & technical records
nvidia/Qwen3.6-35B-A3B-NVFP4
LLM outputs across runs
Download part 1
Full model traces

Recorded model configuration, reasoning, and tool conversations.

Download part 1
Model & dataset provenance 
{
  "model": "nvidia/Qwen3.6-35B-A3B-NVFP4",
  "model_revision": "1355db6a052410cfd62085d94b58866fd0f2c3c5",
  "task_version": "14",
  "output_id": "34a914ffc9593dae5b20d8ed2ef5a79cd1efb14726e90338b8e9352d9a2007f2",
  "requirements_status": "valid",
  "dataset_revision": "e243353dcb7d79b7247ced91d69443ef4c2a6349",
  "observed_at": "2026-09-07 15:55:43.033547+00:00"
}