Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,797,473 papers from all fields of science
Search
Sign In
Create Free Account
APL
Known as:
APL programming language family
, APL programming language
, Criticism of APL
Expand
APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson. Its central datatype is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
BASIC
Bit array
CDC STAR-100
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2021
Highly Cited
2021
Communicating sequential processes
C. A. R. Hoare
CACM
2021
Corpus ID: 849342
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating…
Expand
Highly Cited
2005
Highly Cited
2005
YAWL: yet another workflow language
Wil M.P. van der Aalst
,
A. Hofstede
Information Systems
2005
Corpus ID: 205487187
Highly Cited
2003
Highly Cited
2003
The nesC language: A holistic approach to networked embedded systems
David E. Gay
,
P. Levis
,
R. von Behren
,
Matt Welsh
,
E. Brewer
,
D. Culler
ACM-SIGPLAN Symposium on Programming Language…
2003
Corpus ID: 15690
We present nesC, a programming language for networked embedded systems that represent a new design space for application…
Expand
Highly Cited
1996
Highly Cited
1996
Gentleman R: R: A language for data analysis and graphics
Ross Ihaka
1996
Corpus ID: 60206680
Abstract In this article we discuss our experience designing and implementing a statistical computing language. In developing…
Expand
Highly Cited
1994
Highly Cited
1994
A Syntactic Approach to Type Soundness
Andrew K. Wright
,
M. Felleisen
Information and Computation
1994
Corpus ID: 31415217
We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The keys to our approach…
Expand
Highly Cited
1986
Highly Cited
1986
The Mental Representation of Grammatical Relations
David Kleinecke
International Conference on Computational Logic
1986
Corpus ID: 144919445
Review
1985
Review
1985
On understanding types, data abstraction, and polymorphism
L. Cardelli
,
P. Wegner
CSUR
1985
Corpus ID: 2921816
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming…
Expand
Highly Cited
1982
Highly Cited
1982
Logic for problem solving
R. Kowalski
The computer science library : Artificial…
1982
Corpus ID: 5285557
This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of…
Expand
Highly Cited
1978
Highly Cited
1978
Yacc: Yet Another Compiler-Compiler
S. Johnson
,
Murray Hill
1978
Corpus ID: 62540186
Computer program input generally has some structure; in fact, every computer program that does input can be thought of as…
Expand
Highly Cited
1976
Highly Cited
1976
The Semantics of Predicate Logic as a Programming Language
M. H. Emden
,
R. Kowalski
JACM
1976
Corpus ID: 11048276
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE