A generic approach to building user interfaces for theorem provers
Journal of Symbolic Computation - Special issue graphical user interfaces and protocols
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Events in Haskell, and how to implement them
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Omega: Towards a Mathematical Assistant
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Managing Proof Documents for Asynchronous Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
Assisted proof document authoring
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
| Hi-index | 0.02 |