@techreport {AREA-202102-Sullivan,
   type = {Area Exam},
   author = {Zachary J. Sullivan},
   title = {Deriving Practical Implementations from First-Class Functions},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = AREA-202102-Sullivan,
   month = 2,
   year = 2021,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/AREA-202102-Sullivan.pdf}},
}