Author:
Crubillé Raphaëlle,Dal Lago Ugo
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abramsky, S.: The Lazy λ-Calculus. In: Turner, D. (ed.) Research Topics in Functional Programming, pp. 65–117. Addison Wesley (1990)
2. Berry, G., Curien, P.-L.: Sequential algorithms on concrete data structures. Theor. Comput. Sci. 20, 265–321 (1982)
3. Comaniciu, D., Ramesh, V., Meer, P.: Kernel-based object tracking. IEEE Trans. on Pattern Analysis and Machine Intelligence 25(5), 564–577 (2003)
4. Crubille, R., Dal Lago, U.: On Probabilistic applicative bisimulation for call-by-value lambda calculi (long version) (2014),
http://arxiv.org/abs/1401.3766
5. Dal Lago, U., Sangiorgi, D., Alberti, M.: On coinductive equivalences for higher-order probabilistic functional programs. In: POPL, pp. 297–308 (2014)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. On Feller continuity and full abstraction;Proceedings of the ACM on Programming Languages;2022-08-29
3. The geometry of Bayesian programming;Mathematical Structures in Computer Science;2021-06
4. Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices;Electronic Notes in Theoretical Computer Science;2020-10
5. The Benefit of Being Non-Lazy in Probabilistic λ-calculus;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08