archives

Non-Applicative Functional Languages

I am considering writing a paper about non-applicative functional language with the following abstract:

Non-applicative Functional Languages

Most of today's functional languages are examples of applicative languages. In other words
the operation of function application is generally implied between two consecutive terms.
This paper explores what it means for a language to be non-applicative, and what the implications
are in terms of basic operations such as the Y combinator.

Is this a topic that has already been explored? I only found one reference to "non-applicative languages" on Google scholar. Is anyone else interested in this topic? Any suggestions on how to make the abstract more appealing?

Thanks in advance.