Difference between revision 2 and current revision
No diff available.Table of Contents for Programming Languages: a survey
Subturing languages and languages which compete with them.
https://en.wikipedia.org/wiki/Rule_of_least_power
We only briefly mention these here, because details are in Part ? Formal.
characterizing polynomial-time programs: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.93.3472&rep=rep1&type=pdf
primitive recursion
etc todo
https://en.wikipedia.org/wiki/Decision_table
---
todos:
todo
Chapter 16: Query Chapter 17: Documents and markup Chapter 18: Styling Chapter 19: Data Chapter 20: Transform Chapter 21: Templating Chapter 22: Proof assistant Chapter 23: Pre-processor Chapter 24: Restricted general-purpose Chapter 25: Misc