Have you seen this work? : http://www.sics.se/~joe/ubf/site/home.html On 3/21/07, Adam Langley <agl@REDACTED> wrote: > But would you mind elaborating on what you had in mind when you spoke > of first-class protocols and a contracts system for them. Are you > thinking of a type-system for protocols? If so, how do you see it > working?