Journal of Functional Programming
Zippy Tabulations of Recursive Functions
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Meeting a fanclub: a lattice of generic shape selectors
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Parametric datatype-genericity
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Extensibility for the masses: practical extensibility with object algebras
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Generic programming with dependent types
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Hi-index | 0.00 |