Database: scholar_total_9
Question: What is the name of Ranjit Jhala 's Liquid Haskell paper ?
SQL: select distinct t1.title from paperkeyphrase_keyphrase_writes_paper_author as t1 where t1.authorname like 'ranjit jhala' and t1.keyphrasename = 'liquid haskell' ;