Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sat 29 Sep 2018 10:20 - 10:45 at Jeffersonian+Knickerbocker - Generative Systems Chair(s): Brent Yorgey

A well-typed work of art should not sound wrong: we can use DSLs to get this boon. Existing work has cover’d this for song, at least so far as harmony and tune. Well, verse contrains the author’s pencil thus: In English verse, the syllables adhere to certain contours. Catenation plus the empty form create a monoid here. But not all poems stay within their meter; some, like this, can be a little free and so our monoid has to let us teeter on the edge, as tunes oft do with key. Our monoid must be fuzzy at its heart to let us teach computers of this art.

I’m a postdoctoral researcher in the Functional Programming Lab at the University of Nottingham, working on ways to reason about the efficiency of programs in call-by-need (a.k.a. lazy) programming languages. I’m particularly interested in ways to unify the two concerns of correctness and efficiency.

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

10:20 - 12:00: FARM 2018 - Generative Systems at Jeffersonian+Knickerbocker
Chair(s): Brent YorgeyHendrix College
farm-2018-papers10:20 - 10:45
Research paper
Jennifer HackettUniversity of Nottingham, UK
farm-2018-papers10:45 - 11:10
Brittni WatkinsSouthern Methodist University
farm-2018-papers11:10 - 11:35
Donya QuickStevens Institute of Technology
farm-2018-papers11:35 - 12:00