Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints (Extended Abstract) [Remote]
Prompt programming treats LLM prompts as software components with typed interfaces. Through a literature survey of 15 recent works (2023-2025), we observe a consistent trend: type systems are central to emerging prompt programming frameworks. However, there are gaps in constraint expressiveness and algorithms. To address it, we introduce the notion of $\lambda$ Prompt, a dependently typed calculus with probabilistic refinements for syntactic/semantic constraints. While not yet a full calculus, our formulation motivates a type-theoretic foundation for prompt programming. Our catalog of 13 constraints reveals underexplored areas in constraint expressiveness (C9–C13). To address algorithmic gap, we propose a constraint-preserving optimization rule. Finally, we outline research directions on prompt program compiler.
Sun 12 OctDisplayed time zone: Perth change
| 16:00 - 17:30 | |||
| 16:0030m Talk | Constrained generation of well-typed programs (Extended Abstract) [Remote] TyDe | ||
| 16:3030m Talk | Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints (Extended Abstract) [Remote] TyDe Abhijit Paul Samsung R&D Institute, Bangladesh | ||
| 17:0030m Talk | A Formalization of Opaque Definitions for a Dependent Type Theory [Remote] TyDe Nils Anders Danielsson University of Gothenburg, Eve Geng Chalmers University of Technology, Gothenburg, Sweden | ||
