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
|