ESP Biography

DAVID BAU, MIT sophomore in computer science

Major: 6-3

College/Employer: MIT

Year of Graduation: 2020

Picture of David Bau

Brief Biographical Sketch:

Not Available.

Past Classes

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

C11841: Functions, and Nothing Else in Splash 2017 (Nov. 18 - 19, 2017)
Learn how to write any program without using numbers, operators, loops, conditionals, or memory -- nothing but functions applied to other functions applied to other functions. An introduction to the untyped lambda calculus, a human-readable programming language with only one keyword. Starts from first principles and builds Church encodings and the fixed-point Y combinator.

C11025: Functions, and Nothing Else in Splash 2016 (Nov. 19 - 20, 2016)
A speedy intro to untyped lambda calculus; or, a human-readable programming language in only two symbols. Learn how to reconstruct traditional programming constructs (numbers, arithmetic, conditionals, loops, and arrays) using nothing but anonymous function definitions and calls.