Statically Contextualizing Large Language Models with Typed Holes Paper • 2409.00921 • Published Sep 2 • 3