From Monads to Effects and Back (PADL) - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Niki Vazou, Daan Leijen

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Mon 18 Jan 2016 11:30 - 12:00 at Room Bayboro - Functional Programming I

Niki Vazou

UC San Diego

Daan Leijen

Microsoft Research

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	10:30 - 12:00	Functional Programming IPADL at Room Bayboro

	10:30 30m Talk		Simplifying Probabilistic Programs Using Computer Algebra PADL Jacques Carette McMaster University, Chung-chieh Shan Indiana University
	11:00 30m Talk		Haskino: A Remote Monad for Programming the Arduino PADL Mark Grebe University of Kansas, Andy Gill University of Kansas
	11:30 30m Talk		From Monads to Effects and Back PADL Niki Vazou UC San Diego, Daan Leijen Microsoft Research