ESP Biography

ALEX YI, ESP Teacher

Major: Not available.

College/Employer: MIT

Year of Graduation: Not available.

Picture of Alex Yi

Brief Biographical Sketch:

Not Available.

Past Classes

  (Clicking a class title will bring you to the course's section of the corresponding course catalog)

C15383: A Scattershot Intro To Algebraic Types in Splash 2022 (Nov. 19 - 20, 2022)
Ever used a language with a type system like Java? Take a look at a type system that's almost, but not entirely, totally unlike it! (I mean like Haskell's, if you've heard of that) Explore an interesting way to think about types and programs-- mathematically! (Some algebra required.) Learn about curry! Learn about proving things with types! I'll play fast and loose, though, so buckle up.