Showing results 1 to 8 of 8
| Title | Author(s) | Issue Date | |
|---|---|---|---|
A Type-Directed Operational Semantics For a Calculus with a Merge Operator Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
CoNT: Contrastive Neural Text Generation Proceeding/Conference:Advances in Neural Information Processing Systems 35 (NeurIPS 2022) | 2022 | ||
Direct Foundations for Compositional Programming Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 | ||
Distributing Intersection and Union Types with Splits and Duality (Functional Pearl) Proceeding/Conference:26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021) | 2021 | ||
Forward Secure Attribute-Based Signatures Proceeding/Conference:Lecture Notes in Computer Science | 2012 | ||
Offline/online attribute-based encryption with verifiable outsourced decryption Proceeding/Conference:Concurrency and Computation: Practice & Experience | 2017 | ||
Type-Directed Operational Semantics for Gradual Typing Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2021 | ||
Union Types with Disjoint Switches Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 |