2011; Physical and Mathematical Sciences, 45(1 (224): 28–35
Shared with The Gufo

UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS

Ara Arakelyan*

Received: 2025-02-22 · Published: 2011-02-16

© 2011 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
Author
Ara Arakelyan
Published
2011-02-16
Licence
Creative Commons Attribution 4.0 International

Abstract

In the present paper the type correctness problem is considered for functional programs without the type information. The aim of this research is to prove that there is no algorithm to reject all programs, during execution of which the type error would occur and accept all programs, during execution of which the type error would not occur.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates