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