H ? « ‹ ← → › »

Language peer sets for ISWIM:
United Kingdom↑
United Kingdom/1966↑
Designed 1966 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Other lambda ↑
Other lambda↑
Lambda caculus↑
Functional ↑
Other lambda/1966↑
Lambda caculus/1966↑
Functional/1966↑
Other lambda/United Kingdom↑
Lambda caculus/United Kingdom↑
Functional/United Kingdom↑

ISWIM(ID:261/isw001)

Landin's paper language 

alternate simple view
Country: United Kingdom
Designed 1966
Published: 1966
Genus: Other lambda

If You See What I Mean. Landin 1966. ISWIM is purely functional, a sugaring of lambda calculus, and the ancestor of most modern applicative languages. An ISWIM program is a single expression qualified by 'where' clauses (auxiliary definitions including equations among variables), conditional expressions and function definitions. ISWIM was the first language to use lazy evaluation, and introduced the offside rule for indentation.

(If You See What I Mean) is a purely functional, sugaring of Lambda calculus, and the ancestor of most applicative languages. An ISWIM program is a single expression qualified by "where" clauses (auxiliary definitions including equations among variables), conditional expressions and functional definitions. ISWIM was the first language to use lazy-evaluation and introduced the off-side rule for indentation.

People:
Structures:
Related languages
Church typed-lambda calculus → ISWIM   Influence
SECD → ISWIM   Incorporated into
ISWIM → Algol S   Influence
ISWIM → Gedanken   Influence
ISWIM → Id   Influence
ISWIM → LUCID   Evolution of
ISWIM → NPL   Strong Improvement
ISWIM → PAL   by original creator Evolution of
ISWIM → POP-2   Incorporates some features of
ISWIM → Vienna Definition Language   Influence
References:
  • Landin, P.J. (1966) Landin, P.J. "The Next 700 Programming Languages"
          in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965
  • Scott, Dana; (1969) Scott, Dana; "A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Oxford U 1969.
          in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965
  • Milner, Robin (1972) Milner, Robin "Implementation and applications of Scott's logic for computable functions" pp1-6
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Paiva, V. (1990) Paiva, V. "Subtyping in Ponder", TR 203, Aug 1990
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder