CS Extra 4/19/2018: Research in Programming Languages
Computer Science 2018-04-19
Summary:
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