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...

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...

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...

operator, essentially a form of continuation. In 1966, Landin introduces ISWIM, an abstract computer programming language in his article The Next 700 Programming...

correspondence between ALGOL 60 and the lambda calculus, and proposed the ISWIM programming language. John Backus presented FP in his 1977 Turing Award...

algebraic study of data types. Lambda calculus-based languages (such as Lisp, ISWIM, and Scheme) are in actual practice value-level languages, although they...

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...

pLucid, GIPSY Dialects Granular Lucid, Indexical Lucid, Tensor Lucid, Forensic Lucid, Lucx, JOOIPL Influenced by ISWIM Influenced SISAL, PureData, Lustre...