Re: [friam] Formal modeling of systems based on E/CapTP/(Water)Ken/Cap'n Proto ideas
Dan Connolly <[email protected]> Mon, 6 Jul 2015 17:10:36 -0500
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAD2Yivbuz+W-gWk91dbFa3+CxwtckX5N7YgF_+8j_Mc9B5ELuQ@mail.gmail.com> |
On Mon, Jul 6, 2015 at 3:59 PM, Mark Miller <[email protected]> wrote: > IANAF -- I am not a formalist. But my co-authors (Sophia and James, cc'ed) are. Today at PLAS (Programming Languages and Security) Sophia presented > > Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World > <http://research.google.com/pubs/pub43808.html> Very interesting. I'm just starting to read it; first detail that stands out: "We model private fields as they are simpler than nested lexical scopes" -- Dan Connolly http://www.madmode.com/