[pl-seminar] Functional techniques for PL researchers

Monday, December 4, 2017 -
12:00pm to 1:00pm
CS 4310

Speaker Name: 

Calvin Smith

Speaker Institution: 

University of Wisconsin - Madison




Programming languages research often generates useful techniques in functional programming languages such as OCaml or Haskell, but it can also take advantage of such techniques. In this talk, I will cover several ways to write better functional code using 1) generalized algebraic data types, which allow us to refine the return type of type constructors, and 2) Gerard Huet's zippers, which enable efficient local changes to tree-like data structures.