SafeTypeScript
SafeTypeScript copied to clipboard
A type-safe dialect of TypeScript
Results
1
SafeTypeScript issues
Sort by
recently updated
recently updated
newest added
Hello, I'm interested in how far I can take Typescript safety and soundness. I found your paper, but I'm curious - do you know of any recent work on this...