Models and languages for parallel computation
ACM Computing Surveys (CSUR)
A new calculus for multidimensional arrays
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
Compositional Style of Programming FPGAs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Proceedings of the 2008 ACM symposium on Applied computing
A Full First-Order Constraint Solver for Decomposable Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
From exponential to almost linear decomposability of finite or infinite trees
Proceedings of the 2009 ACM symposium on Applied Computing
A full first-order constraint solver for decomposable theories
Annals of Mathematics and Artificial Intelligence
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Hi-index | 0.00 |