Database: scholar
Question: What is the name of 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 where t5.keyphrasename  =  "liquid haskell"