Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
The formalization of syntax-based mathematical algorithms using quotation and evaluation
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |