CREATE TABLE writes (paperid NUMBER, authorid NUMBER)
CREATE TABLE cite (citingpaperid NUMBER, citedpaperid NUMBER)
CREATE TABLE keyphrase (keyphraseid NUMBER, keyphrasename VARCHAR2)
CREATE TABLE field (fieldid NUMBER)
CREATE TABLE venue (venueid NUMBER, venuename VARCHAR2)
CREATE TABLE paperfield (fieldid NUMBER, paperid NUMBER)
CREATE TABLE dataset (datasetid NUMBER, datasetname VARCHAR2)
CREATE TABLE paperdataset (paperid NUMBER, datasetid NUMBER)
CREATE TABLE paperkeyphrase (paperid NUMBER, keyphraseid NUMBER)
CREATE TABLE journal (journalid NUMBER, journalname VARCHAR2)
CREATE TABLE paper (paperid NUMBER, title VARCHAR2, venueid NUMBER, year NUMBER, numciting NUMBER, numcitedby NUMBER, journalid NUMBER)
CREATE TABLE author (authorid NUMBER, authorname VARCHAR2)

What is the name of Ranjit Jhala 's Liquid Haskell paper ?
SELECT DISTINCT paper.title FROM author, keyphrase, paper, paperkeyphrase, writes WHERE author.authorname LIKE 'Ranjit Jhala' AND keyphrase.keyphrasename = 'Liquid Haskell' AND paperkeyphrase.keyphraseid = keyphrase.keyphraseid AND writes.authorid = author.authorid AND writes.paperid = paperkeyphrase.paperid AND writes.paperid = paper.paperid
SELECT DISTINCT "paper"."title" FROM "author" JOIN "keyphrase" ON "keyphrase"."keyphrasename" = 'Liquid Haskell' JOIN "paperkeyphrase" ON "keyphrase"."keyphraseid" = "paperkeyphrase"."keyphraseid" JOIN "writes" ON "author"."authorid" = "writes"."authorid" AND "paperkeyphrase"."paperid" = "writes"."paperid" JOIN "paper" ON "paper"."paperid" = "writes"."paperid" WHERE "author"."authorname" LIKE 'Ranjit Jhala'