Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
A Static Calculus of Dependencies for the -Cube
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
A syntactic method for finding least fixed points of higher-order functions over finite domains
Journal of Functional Programming
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Strictness analysis algorithms based on an inequality system for lazy types
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
From type checking by recursive descent to type checking with an abstract machine
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Model Checking Higher-Order Programs
Journal of the ACM (JACM)
Hi-index | 0.00 |