Skip to search formSkip to main contentSkip to account menu

ISWIM

Known as: If you see what I mean, I see what you mean, ISWIM (programming language) 
ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his… 
Wikipedia (opens in a new tab)

Related topics

Related topics

29 relations
ALGOLALGOL 60CleanCommunications of the ACM

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Deductions and Reductions Decoding Syllogistic Mnemonics
The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of terminology still used today… 
2015
2015
Calculational Derivation of Circuits
This work is about the calculational construction of circuits. By “construction” we mean obtaining a design by means of formal… 
2012
2012
Monads and Intensionality∗
Monads are a concept of category theory which can be used to structure functional programs or even define nonstandard… 
Review
2012
Review
2012
Doing What I Teach and Teaching What I Do: Using the Principles of Effective Parenting to Become an Effective Educator about Parenting
The journeys of being a family science educator, researcher, and parent are arguably intertwined. This essay describes how the… 
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… 
2001
2001
Visual Reasoning: I see what you mean
This paper is a study of examples of visual reasoning from Wittgenstein. There are two key issues. First, to what extent are some… 
Review
2000
Review
2000
An Overview of Functional Nets
Note: Lecture Notes, APPSEM Summer School, Caminha, Portugal, September 2000. Reference EPFL-TALK-64393 Record created on 2006-01… 
Review
1990
Review
1990
Systemic Due Process: Procedural Concepts and the Problem of Recusal, 38 U. Kan. L. Rev. 381 (1990)
In the recent Texaco-Pennzoil litigation, Texaco alleged that the presiding judge's failure to recuse himself violated due… 
1980
1980
"Type-completeness" as a language principle
In his recent Turing Lecture, John Backus delivered a trenchant argument for the proposition that "programming languages are in… 
1970
1970
A language for treating graphs
la. McCARTrtY, J. Recursive functions of symbolic expressions and their computation by machine, Pt. I. Comm. ACM 3, 4 (Apr. 1960… 
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)