Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Automated Fast-Track Reconfiguration of Group Communication Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Fault-Tolerant Distributed Theorem Proving
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Opis: reliable distributed systems in OCaml
Proceedings of the 4th international workshop on Types in language design and implementation
Nuprl as logical framework for automating proofs in category theory
Logic and Program Semantics
| Hi-index | 0.00 |