SafeTypeScript icon indicating copy to clipboard operation
SafeTypeScript copied to clipboard

verified publisher icon nikswamy
→

Metadata

A type-safe dialect of TypeScript

Results 1 SafeTypeScript issues
Sort by recently updated
recently updated
newest added

Further Development/Resources?

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...

d4hines avatar d4hines

← Metadata

25
Stars
1
Forks
Watchers

Owner

verified publisher icon nikswamy

Metadata

A type-safe dialect of TypeScript

Back