Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,650,974 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
11 relations
ACL2
Applicative computing systems
Applicative universal grammar
Common Lisp
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Applicative programming with effects
Conor McBride
,
R. Paterson
J. Funct. Program.
2008
Corpus ID: 45677698
In this article, we introduce Applicative functors – an abstract characterisation of an applicative style of effectful…
Expand
Highly Cited
2002
Highly Cited
2002
Introducing arguments
L. Pylkkänen
,
L. Nordrum
2002
Corpus ID: 386200
In her book Introducing Arguments, Linda Pylkkänen distinguishes between the core and noncore arguments of verbs by means of a…
Expand
Highly Cited
1999
Highly Cited
1999
Rethinking transfer: A simple proposal with multiple implica-tions
J. Bransford
,
D. Schwartz
1999
Corpus ID: 18507220
9720384). We greatly appreciate their support but emphasize that the views expressed herein are those of the authors and not of…
Expand
Highly Cited
1995
Highly Cited
1995
New conditions for global stability of neural networks with application to linear and quadratic programming problems
M. Forti
,
A. Tesi
1995
Corpus ID: 17650056
In this paper, we present new conditions ensuring existence, uniqueness, and Global Asymptotic Stability (GAS) of the equilibrium…
Expand
Highly Cited
1993
Highly Cited
1993
The essence of compiling with continuations
C. Flanagan
,
A. Sabry
,
B. Duba
,
M. Felleisen
PLDI '93
1993
Corpus ID: 105674
In order to simplify the compilation process, many compilers for higher-order languages use the continuation-passing style (CPS…
Expand
Highly Cited
1980
Highly Cited
1980
HOPE: An experimental applicative language
R. Burstall
,
David B. MacQueen
,
D. Sannella
LISP Conference
1980
Corpus ID: 207681779
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
A new implementation technique for applicative languages
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
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
J. Backus
CACM
1978
Corpus ID: 16367522
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
Bilinear systems: An appealing class of "nearly linear" systems in theory and applications
C. Bruni
,
G. Dipillo
,
G. Koch
1974
Corpus ID: 62102263
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
Definitional Interpreters for Higher-Order Programming Languages
J. C. Reynolds
ACM '72
1972
Corpus ID: 163294
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE