Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Draft a paper #38

Closed
5 tasks
deemp opened this issue Jan 11, 2024 · 2 comments
Closed
5 tasks

Draft a paper #38

deemp opened this issue Jan 11, 2024 · 2 comments
Assignees
@fizruk
Labels
priority 4 (research) Related to research
Milestone
[S?] Nice to have

Comments

@deemp
Copy link
Member

deemp commented Jan 11, 2024

  • What is the research question?
  • Global contribution?
  • Look at the context
    • state-of-the-art imperative systems
    • rewrite systems
@deemp deemp mentioned this issue Jan 11, 2024
Closed
@deemp deemp added this to the Nice to have milestone Feb 22, 2024
@deemp deemp added priority 4 (research) Related to research and removed priority 5 labels May 7, 2024
@Anatolay
Copy link
Collaborator

Anatolay commented Oct 14, 2024 •
edited
Loading

Which paper is meant here? Is it the one for the proof of confluence? If so, this can be closed.

@deemp
Copy link
Member Author

deemp commented Oct 14, 2024

Yes, that one

@deemp deemp closed this as completed Oct 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fizruk fizruk

Labels
priority 4 (research) Related to research
Projects
None yet
Milestone
[S?] Nice to have
Development

No branches or pull requests
3 participants
@fizruk @deemp @Anatolay