Application and Composition in Functional Programming

概要

論文の詳細を見る
Functional programming is examined in a theoretical manner. We start with the consideration that there are two kinds of functional programming languages: (1)applicative languages (LISP, ML, KRC) and (2)compositional languages (FP). To formalize these types of programming languages, we will define two formal systems: the typed A-calculus with product, corresponding to the applicative languages, and the composition calculus, corresponding to the compositional languages. Then, we will show that both formal systems are essentially the same. This result is an application of recent work about the relationship between the A-calculus and category theory.
一般社団法人情報処理学会の論文
1986-01-30