Mark Cohen, PL talk: Iterative Programming in ML with Type Classes and Associated Types

Events
1

From: Adam Shaw
Date: Jun 3, 2019 at 7:03 PM
To: Pl-Readinggroup, Student-Events

Hi everyone – Please see below for an announcement about an upcoming language design talk by graduating student and CS major Mark Cohen. -ams

====================

Iterative Programming in ML with Type Classes and Associated Types

Mark Cohen

Wednesday, June 5, 2019, 4pm-5pm, Crerar 298

Iterative programming is simply the best way to work with collections in terms of being powerful,
highly intuitive, and imposing a low cognitive load. We present a design for pure polymorphic
iteration in the ML discipline. We base this design in a language modeled after ML, extended with
type classes and associated types. This talk will present the motivation, design, intuition, and an
overview of the formalism behind this language.

This work is Mark’s bachelor’s thesis. Mark’s advisor is Adam Shaw.

2

Mark shared his slides, thesis, video and code here: GitHub - mpcsh/ForML: Bachelor's thesis 2019