A Philosophical Approach to the Concept of Data Model: Is a Data Model, in Fact, a Model?
Information Systems Frontiers
Journal of Logic, Language and Information
Refining the Barendregt Cube Using Parameters
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
On Functions and Types: A Tutorial
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Proof-assistants using dependent type systems
Handbook of automated reasoning
Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.
Journal of Functional Programming
Two-level languages for program optimization
Theoretical Computer Science - Mathematical foundations of programming semantics
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Automated deduction for verification
ACM Computing Surveys (CSUR)
An Isabelle/HOL-based model of stratego-like traversal strategies
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A correct rule-based geometric constraint solver
Computers and Graphics
| Hi-index | 0.00 |