CS Extra 4/19/2018: Research in Programming Languages

Thursday, April 19, 2018
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Student presentations on programming languages from summer research with Peter-Michael Osera.

  • Scythe—Converting Myth to the Haskell Programming Languages, Liat Berkowitz, Dhruv Phumbhra, Andrew Mack, and Zachary Susag
  • Blorca—A Blocks-based Languages for Proof, Myles Becker, Addison Gould, Hadley Luker, and Eli Most
  • ToadStool—First-class Typestate via Polymorphic References, Jonathan Sadun