A simple semantics for ML polymorphism
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Type Inference with Recursive Type Equations
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
Positive Recursive Type Assignment
Fundamenta Informaticae
| Hi-index | 0.00 |