H ? « ‹ ← → › »

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

Lambda-PRL(ID:3646/lam005)

alternate simple view
Country: United States
Designed 1983

dialect of PRL
Related languages
PRL → Lambda-PRL   Dialect of
References:
  • Proofrock, J. A. (1983) Proofrock, J. A. "PRL: Proof refinement logic programmer's manual (Lambda PRL VAX version)". Computer Science Dept., Cornell Univ., 1983.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder