H ? « ‹ ← → › »

Language peer sets for PCF:
United Kingdom↑
United Kingdom/1977↑
Designed 1977 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

PCF(ID:6982/)

alternate simple view
Country: United Kingdom
Designed 1977

Plotkin's LCF as a language
Related languages
Edinburgh LCF → PCF   Implementation
PCF → Behaviour Algebra   Incorporated some features of
References:
  • Plotkin, Gordon (1977) Plotkin, Gordon "LCF considered as a programming language"
          in Theoret. (1977) Theoret. Comput. Sci., 5(3) December 1977
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder