Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim +1
We present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In , linear types are used as a syn…
cs.PL2023
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, Daniel R. Licata
We present a gradually typed language, GrEff, with effects and handlers that supports migration from unchecked to checked effect typing. This serves as a simple model of the integr…