Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists (Scheme 2016) - ICFP 2016

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

Who

Jason Hemann, Daniel Friedman

Track

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

When

Sun 18 Sep 2016 17:30 - 18:00 at Conference Room 2 - Scheming

Jason Hemann

Indiana University

Daniel Friedman

Indiana University

United States

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Session Program

Sun 18 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

	15:30 - 16:30	Functional ProgrammingScheme at Conference Room 2

	15:30 30m Talk		Function compose, Type cut, And the Algebra of logic Scheme Yuheng Xie
	16:00 30m Talk		Multi-purpose web framework design based on websocket over HTTP Gateway Scheme Mu Lei

	17:00 - 18:00	SchemingScheme at Conference Room 2

	17:00 30m Talk		miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Scheme Dakota Fisher , Matthew Hammer University of Colorado, Boulder, William E. Byrd University of Utah, Matthew Might University of Utah, USA
	17:30 30m Talk		Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists Scheme Jason Hemann Indiana University, Daniel Friedman Indiana University