For many application-level distributed protocols and parallel algorithms. the set of participants. the number of messages or the interaction structure are only known at run-time. This paper proposes a dependent type theory for multiparty sessions which can statically guarantee type-safe. https://thebanyantreers.shop/product-category/bag/