SafeTypeScript icon indicating copy to clipboard operation
SafeTypeScript copied to clipboard
verified publisher icon nikswamy

Further Development/Resources?

Open d4hines opened this issue 6 years ago • 0 comments

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 issue? Thanks!

d4hines avatar Oct 14 '19 17:10 d4hines