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

Type System For DSL #62

Open
KabirSamsi opened this issue Sep 26, 2024 · 1 comment
Open

Type System For DSL #62

KabirSamsi opened this issue Sep 26, 2024 · 1 comment
Assignees
@KabirSamsi

Comments

@KabirSamsi
Copy link
Contributor

KabirSamsi commented Sep 26, 2024 •
edited
Loading

  • This short issue serves to mark a reminder to mark a longer issue and series of checkpoints for this task.

Following the 9/26 meeting with Prof. Foster, we now explore a type system and the concept of well-formedness from a policy standpoint, which will allow us to accurately restrict hierarchical policies between $stream \rightarrow stream$ versus $set \rightarrow stream$.
@KabirSamsi KabirSamsi self-assigned this Oct 1, 2024
@KabirSamsi
Copy link
Contributor Author

KabirSamsi commented Oct 1, 2024 •
edited
Loading

#63 Tracker

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

@KabirSamsi KabirSamsi

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@KabirSamsi