Research
Research proposals and notes on type systems, semantics, and reliable software.
-
TSâ‚€: An Initial Calculus for Typestate Verification
A sequential foundation for interference-aware TypeScript analysis, with base typing and explicit proof obligations.
-
Can TypeScript know a file is still open after await?
A proposal for checking TypeScript lifecycle protocols in the presence of aliases and asynchronous interference.