Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment

Vaughan Pratt
1983 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83  
We describe five paradigm shifts in programming language design, some old and some relatively new, namely Effect to Entity, Serial to Parallel. Partition Types to Predicate Types. Computable to Dcfinabic, and Syntactic Consistency to Semantic Consistency. WC argue for the adoption of each. WC exhibit a programming language, Viron, that capitalizes on these shifts.
doi:10.1145/567067.567068 dblp:conf/popl/Pratt83 fatcat:goirrjfk5nbz3pb5r6fhofgxci