PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 11:30 - 12:00 at Room Bayboro - Functional Programming I

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