Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Journal of Functional Programming
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming
Well-going programs can be typed
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Security completeness: towards noninterference in composed languages
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
Hi-index | 0.00 |