# Ohad Kammar

According to our database

Collaborative distances:

^{1}, Ohad Kammar authored at least 17 papers between 2011 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Proc. ACM Program. Lang., 2019

2018

Proc. ACM Program. Lang., 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

CoRR, 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

CoRR, 2015

2014

PhD thesis, 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