Found: 8
Select item for more details and to access through your institution.
Relational cost analysis in a functional-imperative setting.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000071
- By:
- Publication type:
- Article
A relational logic for higher-order programs.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000145
- By:
- Publication type:
- Article
On the reification of semantic linearity.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 829, doi. 10.1017/S0960129514000401
- By:
- Publication type:
- Article
Differential Privacy: A Primer for a Non-Technical Audience.
- Published in:
- Vanderbilt Journal of Entertainment & Technology Law, 2018, v. 21, n. 1, p. 209
- By:
- Publication type:
- Article
What is a model for a semantically linear λ-calculus?
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 3, p. 557, doi. 10.1093/logcom/exs023
- By:
- Publication type:
- Article
From light logics to type assignments: a case study.
- Published in:
- 2009
- By:
- Publication type:
- Case Study
Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data.
- Published in:
- Journal of Machine Learning Research, 2023, v. 24, p. 1
- By:
- Publication type:
- Article
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy.
- Published in:
- Journal of Machine Learning Research, 2020, v. 21, n. 189-216, p. 1
- By:
- Publication type:
- Article