Database: scholar_minus_1_0
Question: What is the name of Ranjit Jhala 's Liquid Haskell paper ?
SQL: select distinct t3.title from paperkeyphrase_keyphrase as t1 join writes as t2 on t1.paperid = t2.paperid join paper as t3 on t2.paperid = t3.paperid join author as t4 on t2.authorid = t4.authorid where t4.authorname like 'ranjit jhala' and t1.keyphrasename = 'liquid haskell' ;