1. Optimizing generic functions;Alimarine,2004
2. Improved fusion for optimizing generics;Alimarine,2005
3. Tiago Alves, Paulo F. Silva, Joost Visser, Constraint-aware schema transformation, in: Proceedings of the 9th International Workshop on Rule-based Programming, 2008.
4. Typing dynamic typing;Baars,2002
5. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs;Backus;Communications of the ACM,1978