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

Updated Publications Page #342

Merged
merged 2 commits into from
Mar 10, 2024
Merged

Updated Publications Page #342

merged 2 commits into from
Mar 10, 2024

Conversation

katherine-hough
Copy link
Contributor

  • Added remaining papers for 2023
  • Added papers for early 2024

@tybug tybug merged commit c1a1ddd into nuprl:master Mar 10, 2024
1 check passed
@camoy
Copy link
Member

camoy commented Mar 10, 2024

Can you add these two papers also please?

@katherine-hough
Copy link
Contributor Author

katherine-hough commented Mar 10, 2024 •
edited
Loading

I will add them first thing tomorrow. I'm surprised that DBLP doesn't have entries for them. It's picked up JFP articles in the past. I wonder if something changed. Maybe I should start scraping orcid pages too :(

@a-wagner a-wagner mentioned this pull request Mar 11, 2024
Merged
@a-wagner
Copy link
Member

Can you add these two papers also please?

* https://www.cambridge.org/core/journals/journal-of-functional-programming/article/trace-contracts/4AF1C7361751839FF7E2DEBC65A050EE

* https://www.cambridge.org/core/journals/journal-of-functional-programming/article/knuthmorrispratt-illustrated/8EFA77D663D585B68630E372BCE1EBA4

Resolved in #343.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tybug tybug tybug approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@katherine-hough @camoy @a-wagner @tybug