A General-Purpose Language for Unpredictable Computation

Title: A General-Purpose Language for Unpredictable Computation

Authors: Igor M. Markovsky, Yuriy V. Kovyrygin, and Alexander A. Kuznetsov

Content: arXiv:cs/0309002v2 [cs.CY] 4 Sep 2003

Research Question: How can a general-purpose language be designed to handle unpredictable computation?

Methodology: The authors propose a new programming language called "Agda" to handle unpredictable computation. Agda is a dependently-typed programming language, which means that types can be used to express complex relationships and dependencies between values. This allows Agda to handle more complex and unpredictable computation than traditional programming languages.

Results: The authors demonstrate that Agda can handle a wide range of unpredictable computation tasks, including type-level programming

Link to Article: https://arxiv.org/abs/0309002v2 Authors: arXiv ID: 0309002v2