Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Applicative programming language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Abstract One of the current frontier of optical fiber sensors, and a unique asset of this sensing technology is the possibility… Expand
Highly Cited
1999
Highly Cited
1999
9720384). We greatly appreciate their support but emphasize that the views expressed herein are those of the authors and not of… Expand
Highly Cited
1998
Highly Cited
1998
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… Expand
Highly Cited
1996
Highly Cited
1996
We give a method for proving congruence of bisimulation-like equivalences in functional programming languages. The method applies… Expand
Highly Cited
1991
Highly Cited
1991
Part 1 Introduction: semantics mathematical preliminaries. Part 2 Basic concepts: a simple imperative language a simple… Expand
Highly Cited
1980
Highly Cited
1980
An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was… Expand
Highly Cited
1979
Highly Cited
1979
It is shown how by using results from combinatory logic an applicative language, such as LISP, can be translated into a form from… Expand
Highly Cited
1978
Highly Cited
1978
Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level… Expand
Highly Cited
1974
Highly Cited
1974
Recently, attention has been focused on the class of bilinear systems, both for its applicative interest and intrinsic simplicity… Expand
Highly Cited
1972
Highly Cited
1972
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… Expand