Spring 2027

Principles of Programming Languages

Introduction to principles of advanced programming languages and programming-language theory, covering lambda-calculus, functional languages, type inference, and semantics.

no offering record for this termCredits unavailable
Recorded instructors · Spring 2027 No instructors listed

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

Spring 2027

No instructors recorded for this selection.

Historical instructors & teaching patterns

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

Calendar & sections

Spring 2027

Schedule loads here as you scroll.

SectionModeEnrolled / capacityWaitlist

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

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, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics

Skills

  • Principles of advanced programming languages and programming-language theory
  • Lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics

Grades

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

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 Spring 2027 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

No offering records for the selected term.

Raw records 
[]
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-10-14

View the dataset on Hugging Face
Model outputs & technical records
Qwen/Qwen3.8-27B
LLM outputs across runs
Download part 1
Full model traces

Recorded model configuration, reasoning, and tool conversations.

Download part 1
Model & dataset provenance 
{
  "model": "Qwen/Qwen3.8-27B",
  "model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
  "task_version": "17",
  "output_id": "e37f436c92786fa69326b99195c32d0fe71c908fc77e53e7a402b2f22f9c82f9",
  "requirements_status": "valid",
  "dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
  "observed_at": "2026-10-14 17:50:09.728220+00:00"
}