You might be thinking of Will Crichton and Shriram Krishnamurthi, “A Core Calculus for Documents: Or, Lambda: The Ultimate Document” (POPL2024).
Will, @samth, and I got into a discussion on Mastodon about how its analytic categories apply to Scribble.