CMSI 2820

LN 8: Getting Our Types in a Row

Standard: Collections

In this lecture we formally investigate tuples (also known as product types in type theory) including their properties, operations, and how they are used to build up more complex types.

Lecture Date

📅 February 10, 2026

Standard

Collections

Topics Covered

Coming soon

Content for this lecture note is coming soon.

Create a file at content/cmsi-2820/notes/ln8.mdx to add content.