log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: Haskell Symposium practice talk: Theorem Proving for All
Niki Vazou
3460 A.V. Williams Building (AVW)
Wednesday, September 19, 2018, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

This week in PL lunch, Niki will be practicing her talk for the Haskell Symposium. This title of her paper is "Functional Pearl: Theorem Proving for All: Equational Reasoning in Liquid Haskell."

Paper available here: http://goto.ucsd.edu/~nvazou/theorem-proving-for-all/main.pdf

Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing

 

 

This talk is organized by Kesha Hietala