Polytypic data conversion programs
Science of Computer Programming
A Generic Programming Extension for Clean
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Higher-Order Intensional Type Analysis
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Faking it Simulating dependent types in Haskell
Journal of Functional Programming
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
RepLib: a library for derivable type classes
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Design patterns as higher-order datatype-generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Type-safe run-time polytypic programming
Journal of Functional Programming
Proceedings of the ACM SIGPLAN workshop on Generic programming
Generic programming with fixed points for mutually recursive datatypes
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Polytypic properties and proofs in Coq
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Parametric datatype-genericity
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
When generic functions use dynamic values
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Scala for generic programmers: Comparing haskell and scala support for generic programming
Journal of Functional Programming
“Scrap your boilerplate” reloaded
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
A datastructure for iterated powers
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Type-changing rewriting and semantics-preserving transformation
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |