Function compose, Type cut, And the Algebra of logic (Scheme 2016)

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

Track

Scheme 2016

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

Save

When

Sun 18 Sep 2016 15:30 - 16:00 at Conference Room 2 - Functional Programming

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

Display full programSpecify a time band

Save

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

Function compose, Type cut, And the Algebra of logic

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

Yuheng Xie

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Function compose, Type cut, And the Algebra of logic

Program Display Configuration

Program Display Configuration

Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Yuheng Xie

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