Work

Dynamic Definition of Types

Year: 2024

Type: conference-paper

Abstract: This paper explores the dynamic definition of types in the context of algorithm science, highlighting its implications for programming language design, software engineering, and data representation. By analyzing theoretical and practical perspectives, we aim to predict future trends in type systems and their applications.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.14014015

Authors: Kholmirzayev, Muslimbek, Sodiqov, Nursaid

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6893032505

FWCI:

Cites:

Cited by:

Related to: