Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 09:30 - 10:00 at New York Central - Session 1

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1PLMW @ ICFP at New York Central
09:00 - 09:30
Talk
What an SMT solver can do for you
PLMW @ ICFP
Nadia PolikarpovaUniversity of California, San Diego
09:30 - 10:00
Talk
Gradual Types
PLMW @ ICFP
Ronald GarciaUniversity of British Columbia