[PLDI'23] Prompting Is Programming: A Query Language for Large Language Models | ACM SIGPLAN | Podwise