Pages that link to "Item:Q5588137"
From MaRDI portal
The following pages link to GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept (Q5588137):
Displaying 17 items.
- Combining algebraic effects with continuations (Q879352) (← links)
- A few exercises in theorem processing (Q879370) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Verified software units (Q2233451) (← links)
- Towards a language for concurrent processes (Q3681919) (← links)
- (Q3869322) (← links)
- AEPL: An extensible programming language† (Q4101413) (← links)
- A note on files in pascal (Q4140358) (← links)
- (Q4171548) (← links)
- Time required for reference count management in retention block-structured languages. Part 1 (Q4188701) (← links)
- Time required for garbage collection in retention block-structured languages (Q4188703) (← links)
- Polymorphic programming I. Another language designed on semantic principles (Q5186706) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)
