Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Is there any formalism for a strictly first other functional programming language? I only one I know of is kappa calculus (https://www.kurims.kyoto-u.ac.jp/~hassei/papers/ctcs95.pdf).
Is there any formalism for a strictly first other functional programming language? I only one I know of is kappa calculus (https://www.kurims.kyoto-u.ac.jp/~hassei/papers/ctcs95.pdf).