1. 1. Banerjee, A., Heintze, N., Riecke, J.G.: Design and correctness of program transformations based on control-flow analysis. In: International Symposium on Theoretical Aspects of Computer Software (TACS), vol. 2215 of Lecture Notes in Computer Science, pp. 420–447 (2001) http://www.cis.ksu.edu/ab/Publications/pcfa.ps.gz
2. 2. Bell, J.M., Bellegarde, F., Hook, J.: Type-driven defunctionalization. In: ACM International Conference on Functional Programming (ICFP) (1997) http://doi.acm.org/10.1145/258949.258953
3. 3. Bonniot, D.: Type-checking multi-methods in ML (a modular approach). In: Workshop on Foundations of Object-Oriented Languages (FOOL) (2002) http://cristal.inria.fr/bonniot/bonniot02.ps
4. 4. Boquist, U.: Code optimisation techniques for lazy functional languages. Ph.D. thesis, Chalmers University of Technology (1999) http://www.cs.chalmers.se/boquist/phd/phd.ps.gz
5. 5. Bourdoncle, F., Merz, S.: Type checking higher-order polymorphic multi-methods. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 302–315 (1997) http://www.exalead.com/Francois.Bourdoncle/popl97.html