Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,797,252 papers from all fields of science
Search
Sign In
Create Free Account
ISWIM
Known as:
If you see what I mean
, I see what you mean
, ISWIM (programming language)
Expand
ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
29 relations
ALGOL
ALGOL 60
Clean
Communications of the ACM
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
Operational Techniques in PVS - A Preliminary Evaluation
Jonathan M. Ford
,
Ian A. Mason
Computing: The Australasian Theory Symposium
2001
Corpus ID: 44953174
Highly Cited
1998
Highly Cited
1998
Theorem proving with the real numbers
J. Harrison
CPHC/BCS distinguished dissertations
1998
Corpus ID: 38754316
The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the…
Expand
Highly Cited
1993
Highly Cited
1993
A Type-Theoretical Alternative to ISWIM, CUCH, OWHY
D. Scott
Theoretical Computer Science
1993
Corpus ID: 7216334
Highly Cited
1993
Highly Cited
1993
Concrete Domains
G. Kahn
,
G. Plotkin
Theoretical Computer Science
1993
Corpus ID: 2306070
Highly Cited
1990
Highly Cited
1990
Control delimiters and their hierarchies
Dorai Sitaram
,
M. Felleisen
LISP and Symbolic Computation
1990
Corpus ID: 31430221
Since control operators for theunrestricted transfer of control are too powerful in many situations, we propose thecontrol…
Expand
Highly Cited
1987
Highly Cited
1987
A Syntactic Theory of Sequential Control
M. Felleisen
,
Daniel P. Friedman
,
E. Kohlbecker
,
B. Duba
Theoretical Computer Science
1987
Corpus ID: 205092799
Highly Cited
1985
Highly Cited
1985
Lucid, the dataflow programming language
W. Wadge
,
E. Ashcroft
1985
Corpus ID: 54158204
Lucid is a functional language, but one which supports variables, i.e. values which change with time. Lucid programmers can…
Expand
Review
1977
Review
1977
The Ecology of a Semi-Evergreen Forest Community in Sri Lanka
W. Dittus
1977
Corpus ID: 55329133
Semi-evergreen forests cover the dry zone plains of Sri Lanka and constitute four-fifths of the island's vegetation. In a sample…
Expand
Highly Cited
1975
Highly Cited
1975
Call-by-Name, Call-by-Value and the lambda-Calculus
G. Plotkin
Theoretical Computer Science
1975
Corpus ID: 205090276
Highly Cited
1966
Highly Cited
1966
The next 700 programming languages
P. J. Landin
CACM
1966
Corpus ID: 13409665
A family of unimplemented computing languages is described that is intended to span differences of application area by a unified…
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
or Only Accept Required