Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming
The marriage of effects and monads
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Hi-index | 0.00 |