H ? « »

Language peer sets for PL/CV3:
United States
United States/1984
Designed 1984
1980s languages
Fourth generation
Late Cold War


alternate simple view
Country: United States
Designed 1984

Related languages
PL/CV2 PL/CV3   Evolution of

  • Constable, Robert L. (1980) Constable, Robert L. ; Daniel R. Zlatin, Report on the Type Theory (V3) of the Programming Logic PL/CV3, Cornell University, Ithaca, NY, 1980
  • Constable, R. (1982) Constable, R. L. S. D. Johnson , C. D. Eichenlaub, An Introduction to the PL/CV2 Programming Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1982 Extract: PREFACE Extract: ACKNOWLEDGEMENTS
  • Constable, Robert L. and Zlatin, Daniel R. (1984) Constable, Robert L. and Zlatin, Daniel R. "The Type Theory of PL/CV3" ACM Transactions on Programming Languages and Systems (TOPLAS) 6(1) (January 1984) pp94-117 Extract: Logic of Programming versus Logic of Mathematics
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder