The following pages link to Theories of Programming Languages (Q3631317):
Displaying 12 items.
- Programming languages and their definition. Selected papers ed. by C. B. Jones (Q799361) (← links)
- Introduction to the theory of programming languages. (Q1960263) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Programming languages: Design, analysis, and semantics (Q2763544) (← links)
- A Theoretical Foundation for Programming Languages Aggregation (Q2787336) (← links)
- (Q3777486) (← links)
- (Q4002147) (← links)
- (Q4441515) (← links)
- A topology on lattice-ordered groups (Q5225407) (← links)
- Towards a theory of semantics and compilers for programming languages (Q5402521) (← links)
- Some Approaches to, and Illustrations of, Programming Language History (Q5753906) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)