H ? « ‹ ← → › »

Language peer sets for micro-PRL:
United States↑
United States/1981↑
Designed 1981 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

micro-PRL(ID:3647/mic023)

alternate simple view
Country: United States
Designed 1981

dialect of PRL
Related languages
PRL → micro-PRL   Dialect of
References:
  • Bates, J., and Constable, R.L. (1981) Bates, J., and Constable, R.L. "Definition of Micro-PRL" Tech. Rep. TR 82-492, Computer Science Dept., Cornell Univ., Oct. 1981.
  • 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