Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Applicative programming language

Known as: Applicative, Applicative language, Applicative programming 
In the classification of programming languages, an applicative programming language is designed to support the development of programs as giving the… Expand
Wikipedia

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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1998
Highly Cited
1998
  • J. Reynolds
  • High. Order Symb. Comput.
  • 1998
  • Corpus ID: 43352033
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
  • D. Howe
  • Inf. Comput.
  • 1996
  • Corpus ID: 16297176
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
  • R. Tennent
  • Prentice Hall International Series in Computer…
  • 1991
  • Corpus ID: 37889375
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
  • D. Turner
  • Softw. Pract. Exp.
  • 1979
  • Corpus ID: 40541269
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