Delimiting the scope of effects
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Adequacy for Algebraic Effects
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
Fundamenta Informaticae
On coinductive equivalences for higher-order probabilistic functional programs
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.00 |