Re: Fully Abstract compilation from F* to JavaScript
Tony Arcieri <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAHOTMVL9=x0J0NNoBTzEFb+L513R8NXe9md5nQzmg-a_WfUZsQ@mail.gmail.com> |
On Sun, Nov 10, 2013 at 8:39 AM, David Barbour <[email protected]> wrote: > If you're interested in targeting JavaScript as an 'assembly language' of > a web, while maintaining security properties, this seems a valuable article > to read. > Even more interesting from a JavaScript perspective, IMO, is they've created a dialect of TypeScript called TS* which provides similar security properties in a gradually typed system that is otherwise just JavaScript: http://rise4fun.com/FStar/tutorial/tsStar Paper here: http://research.microsoft.com/en-us/um/people/nswamy/papers/gradual-typing-embedded-securely-in-javascript-draft.pdf -- Tony Arcieri _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk