Math for the Real World Seminar
Alexander Berenbeim
UIC MSCS Graduate Student
Learning to Learn OCaml: Lecture 3
Abstract: Having introduced Barendregt's $\lambda$-cube and worked through examples of parametric polymorphisms
in the previous talks, we are now able to study functions defined with respect to the Unit type. Among the most
important of these applications would be defining Input-Output functions. In particular, we will examine how
Input-Output functions cause a modification of the state of the input-output peripherals (such as outputting
to the screen, writing in a file, modifying a read pointer, and modifying the state of the keyboard buffer).
Wednesday October 26, 2016 at 3:00 PM in SEO 427