Note on Algol and conservatively extending functional programming (Q4880529): Difference between revisions

@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of specification logic
@@ Property / cites work: Semantical analysis of specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary data structures in ALGOL-like languages
+Normal rank