Union and intersection types to support both dynamic and static typing
Keywords: مشخصات برنامه; Programming languages; Program specification; Compilers; Formal languages; Type systems