Author:
Chrząszcz Jacek,Jouannaud Jean-Pierre
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. The Agda proof assistant,
http://www.cs.chalmers.se/~catarina/agda/
2. Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: ELAN: A logical framework based on computational systems. In: Meseguer, J. (ed.) 1st International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol. 4 (1996)
3. Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science 236, 35–132 (1999)
4. Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. of Computer Science, University of Utah (1992)
5. Brodal, G.S., Okasaki, C.: Optimal purely functional priority queues. Journal of Functional Programming 6(6), 839–857 (1996)