A Unified Approach to Solving Seven Programming Problems (Functional Pearl) (ICFP 2017 - Research Papers)

Blogs (28) >>

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Who

William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, Matthew Might

Track

ICFP 2017 Research Papers

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 4 Sep 2017 14:07 - 14:30 at L1 - Functional Programming Techniques Chair(s): Graham Hutton

Abstract

We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.

DOI

https://doi.org/10.1145/3110252

William E. Byrd

University of Utah, USA

United States

Michael Ballantyne

University of Utah, USA

Gregory Rosenblatt

n.n., n.n.

Canada

Matthew Might

University of Utah, USA

United States

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 4 Sep
Displayed time zone: Belfast change

13:00 - 14:30	Functional Programming TechniquesResearch Papers at L1 Chair(s): Graham Hutton University of Nottingham

13:00 22m Talk		Faster Coroutine Pipelines Research Papers Mike Spivey University of Oxford, UK DOI
13:22 22m Talk		A Pretty But Not Greedy Printer (Functional Pearl) Research Papers Jean-Philippe Bernardy University of Gothenburg DOI
13:45 22m Talk		Generic Functional Parallel Algorithms: Scan and FFT Research Papers Conal Elliott Target, USA DOI
14:07 22m Talk		A Unified Approach to Solving Seven Programming Problems (Functional Pearl) Research Papers William E. Byrd University of Utah, USA, Michael Ballantyne University of Utah, USA, Gregory Rosenblatt n.n., n.n., Matthew Might University of Utah, USA DOI