From Liveness to Promptness
Abstract elided by the publisher.
Related papers
- Monadic, Prompt Lazy Assertions in Haskell APLAS 2007
- A Systematic Approach to Delimited Control with Multiple Prompts ESOP 2012
- The Theory and Practice of First-Class Prompts POPL 1988
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- A type-theoretic foundation of continuations and prompts ICFP 2004
- Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation ECOOP 2025
- Prompting Is Programming: A Query Language for Large Language Models PLDI 2023
- PROMPT: A Fast and Extensible Memory Profiling Framework OOPSLA 2024