Computer Science | Grinnell College

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