Cited By
View all- Jay BAllais GLiu Y(2025)Typed Program Analysis without EncodingsProceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3704253.3706138(54-65)Online publication date: 10-Jan-2025
- Gollamudi AChong SRanise SCarbone RTakabi D(2023)Expressive Authorization Policies using Computation PrincipalsProceedings of the 28th ACM Symposium on Access Control Models and Technologies10.1145/3589608.3593834(107-119)Online publication date: 24-May-2023
- Jay B(2018)Self-Quotation in a Typed, Intensional Lambda-CalculusElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2018.03.024336(207-222)Online publication date: Apr-2018
- Show More Cited By