Ohad Kammar
Orcid: 0000-0002-2071-0929
According to our database1,
Ohad Kammar
authored at least 27 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
3
2
1
1
3
3
1
1
1
1
2
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
CoRR, 2024
Proceedings of the Programming Languages and Systems, 2024
2023
Dataset, November, 2023
Dataset, October, 2023
2022
Fully abstract models for effectful λ-calculi via category-theoretic logical relations.
Proc. ACM Program. Lang., 2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
2019
Proc. ACM Program. Lang., 2019
2018
Proc. ACM Program. Lang., 2018
Proc. ACM Program. Lang., 2018
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
2017
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang., 2017
J. Funct. Program., 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
2014
2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011