H ? « ‹ ← → › »

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

OWHY(ID:448/owh001)

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

Strawman early functional language

Dana Scott, Oxford U 1969.

Places
People:
Structures:
References:
  • Scott, Dana; (1969) Scott, Dana; "A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Oxford U 1969.
  • Milner, Robin (1972) Milner, Robin "Implementation and applications of Scott's logic for computable functions" pp1-6 Abstract
          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)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder