-
ISWIM (If You See What I Mean) is an
abstract computer programming language (or a
family of languages)
devised by
Peter Landin and
first described in...
-
early 1970s at the
University of Edinburgh, and its
syntax is
inspired by
ISWIM. Historically, ML was
conceived to
develop proof tactics in the LCF theorem...
- the
University of St
Andrews in 1972,
based on the
applicative subset of
ISWIM. In 1976
Turner redesigned and
reimplemented it as a non-strict (lazy) language...
- UHC
Dialects Gofer Influenced by Clean, FP, Gofer, Hope and Hope+, Id,
ISWIM, KRC, Lisp, Miranda, ML and
Standard ML, Orwell, SASL, Scheme,
SISAL Influenced...
- S2CID 6505810. Scott, Dana (1993). "A type-theoretical
alternative to
ISWIM, CUCH, OWHY" (PDF).
Theoretical Computer Science. 121 (1–2): 411–440. doi:10...
-
correspondence between ALGOL 60 and the
lambda calculus, and
proposed the
ISWIM programming language. John
Backus presented FP in his 1977
Turing Award...
- try
before the last fall-through: (x>0) -> 1/x; (x<0) -> -1/x; 0 In 1966
ISWIM had a form of
conditional expression without an
obligatory fall-through...
-
algebraic study of data types.
Lambda calculus-based
languages (such as Lisp,
ISWIM, and Scheme) are in
actual practice value-level languages,
although they...
- operator,
essentially a form of continuation. In 1966,
Landin introduces ISWIM, an
abstract computer programming language in his
article The Next 700 Programming...
- 68
ALGOL W
ALGOL X
Atlas Autocode Coral 66
Edinburgh IMP Jensen's
Device ISWIM JOVIAL NELIAC Simula S-algol
Scheme (programming language) Knuth, Donald...
