Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,921,220 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.
2019
2019
'Do You See What I See?' exhibition at libraries
Chris Horst
2019
Corpus ID: 231156407
A special 'Do You See What I See?' exhibition is being hosted at two Sandwell libraries this month (April) to showcase a…
Expand
2012
2012
Monads and Intensionality∗
Bill Wadge
2012
Corpus ID: 31504659
Monads are a concept of category theory which can be used to structure functional programs or even define nonstandard…
Expand
2009
2009
Personal recollections of Peter Landin: 1987–2009
P. Boca
High. Order Symb. Comput.
2009
Corpus ID: 32585428
As well as a computer science pioneer, Peter Landin was an amazing lecturer and perceptive adviser. Through anecdotes, this paper…
Expand
2006
2006
An Introduction to Obol
B. Sufrin
2006
Corpus ID: 59646622
We introduce Obol1 an imperative Object-oriented variant of ISWIM2. The Obol interpreter is written in Java, and Obol and Java…
Expand
2003
2003
Foundations of Functional Programming
Lawrence C. Paulson
,
Lawrence C. Paulson
2003
Corpus ID: 60693566
The binary trees, denoted by B, whose branch nodes contain natural numbers, are generated by the grammar where n ranges over…
Expand
2001
2001
Visual Reasoning: I see what you mean
M. Biggs
2001
Corpus ID: 59075562
This paper is a study of examples of visual reasoning from Wittgenstein. There are two key issues. First, to what extent are some…
Expand
Review
2000
Review
2000
An Overview of Functional Nets
Martin Odersky
2000
Corpus ID: 1592965
Note: Lecture Notes, APPSEM Summer School, Caminha, Portugal, September 2000. Reference EPFL-TALK-64393 Record created on 2006-01…
Expand
1998
1998
On Functional Programming , Language Design , andPersistence
C. Reinke
1998
Corpus ID: 17353858
ion is the process of separating properties of objects into two classes, one for details that are relevant to a given task and…
Expand
1993
1993
A definition of an ISWIM-like language via scheme
M. Ivanović
,
Z. Budimac
SIGP
1993
Corpus ID: 14379260
A full definition of a purely functional lSWIM-like language is given in the paper. A set of transformation rules for the…
Expand
1970
1970
A language for treating graphs
S. Crespi-Reghizzi
,
R. Morpurgo
Communications of the ACM
1970
Corpus ID: 13466088
la. McCARTrtY, J. Recursive functions of symbolic expressions and their computation by machine, Pt. I. Comm. ACM 3, 4 (Apr. 1960…
Expand