Timeline for How can we define a denotational semantics for recursive functions?
Current License: CC BY-SA 4.0
24 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 17, 2024 at 2:40 | vote | accept | David Young | ||
| Aug 11, 2023 at 12:39 | history | edited | kaya3 | CC BY-SA 4.0 | MathJax is now enabled |
| S Jul 12, 2023 at 16:11 | history | mod moved comments to chat | |||
| S Jul 12, 2023 at 16:11 | comment | added | V2Blast♦ | Comments have been moved to chat; please do not continue the discussion here. Before posting a comment below this one, please review the purposes of comments. Comments that do not request clarification or suggest improvements usually belong as an answer, on Programming Language Design and Implementation Meta, or in Programming Language Design and Implementation Chat. Comments continuing discussion may be removed. | |
| Jul 5, 2023 at 0:35 | history | edited | kaya3 | CC BY-SA 4.0 | Edited for brevity, moved some things into the background section, improve title, add "variable" term to grammar |
| Jul 4, 2023 at 22:04 | history | edited | kaya3 | edited tags | |
| Jul 4, 2023 at 15:23 | history | reopened | CPlus The Thonnu чистов_n BoppreH Jon Purdy | ||
| Jul 4, 2023 at 6:36 | history | edited | David Young | CC BY-SA 4.0 | deleted 1 character in body |
| Jul 4, 2023 at 6:23 | history | edited | David Young | CC BY-SA 4.0 | deleted 1 character in body |
| S Jul 4, 2023 at 6:01 | review | Reopen votes | |||
| Jul 4, 2023 at 15:25 | |||||
| S Jul 4, 2023 at 6:01 | history | edited | David Young | CC BY-SA 4.0 | Clarify that I’m interested in the denotational semantics of recursive functions. Domain theory provides well established way to give a denotational semantics to recursive functions, going back to the work of Scott and Strachey in the ‘60s Added to review |
| Jul 4, 2023 at 5:55 | history | closed | Starship Michael Homer♦ Bbrk24 Silvio Mayolo David Young | Needs details or clarity | |
| Jul 4, 2023 at 5:30 | history | became hot network question | |||
| Jul 4, 2023 at 3:53 | history | edited | David Young | CC BY-SA 4.0 | deleted 4 characters in body |
| Jul 4, 2023 at 0:00 | review | Close votes | |||
| Jul 4, 2023 at 4:28 | |||||
| Jul 3, 2023 at 22:36 | history | edited | David Young | CC BY-SA 4.0 | added 93 characters in body |
| Jul 3, 2023 at 22:03 | history | edited | David Young | CC BY-SA 4.0 | added 24 characters in body |
| Jul 3, 2023 at 21:56 | history | edited | David Young | CC BY-SA 4.0 | edited body |
| Jul 3, 2023 at 21:13 | history | edited | David Young | CC BY-SA 4.0 | added 548 characters in body; edited tags |
| S Jul 3, 2023 at 21:12 | history | edited | rydwolf | The functions tag applys here | |
| S Jul 3, 2023 at 21:12 | history | suggested | Starship | The functions tag applys here | |
| Jul 3, 2023 at 21:11 | review | Suggested edits | |||
| S Jul 3, 2023 at 21:12 | |||||
| S Jul 3, 2023 at 19:36 | answer | added | David Young | timeline score: 16 | |
| S Jul 3, 2023 at 19:36 | history | asked | David Young | CC BY-SA 4.0 |