HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Syntactic Considerations on Recursive Types
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Bootstrapping types and cotypes in HASCASL
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Hi-index | 0.00 |