GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
From MaRDI portal
Publication:5588137
DOI10.1145/362349.362364zbMath0193.15101OpenAlexW2109798037MaRDI QIDQ5588137
Publication date: 1970
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362349.362364
Related Items
A categorical interpretation of Landin's correspondence principle, A syntactic theory of sequential control, Unnamed Item, Unnamed Item, Combining algebraic effects with continuations, A few exercises in theorem processing, Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles, Verified software units, AEPL: An extensible programming language†, Full abstraction for expressiveness: history, myths and facts, A note on files in pascal, Call-by-name, call-by-value and the \(\lambda\)-calculus, Language design methods based on semantic principles, Polymorphic programming I. Another language designed on semantic principles, Time required for reference count management in retention block-structured languages. Part 1, Time required for garbage collection in retention block-structured languages, Towards a language for concurrent processes
