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://www.chiggate.com/jerome-brown-philadelphia-eagles-mitchell-ness-1990-legacy-jersey-discount/