Information flow inference for free
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Type and behaviour reconstruction for higher-order concurrent programs
Journal of Functional Programming
Hi-index | 0.00 |