2.7. BIBLIOGRAFIA

[1] J. N. Oliveira and G. Villavicencio, Formal reverse calculation by code slicing, in Proceeding of the 8th. Working Conference on Reverse Engineering (WCRE’01), 2-5 October 2001, Stuttgart, Germany. IEEE CS Press, Los Alamitos California, USA, 2001.
[2] G. Villavicencio, Reversing program formaly by conditioned slicing, In Proceeding of the Seventh European Conference on Software Maintenance and Reengineering (CSMR’03), 25-28 March, 2003, Benevento, Italy. IEEE CS Press, Los Alamitos California, USA, 2003.
[3] M. Weiser, Program slicing, In Proceeding of the Fifth International Conference on Software Engineering (ICSE’81), San Diego, California, USA.
[4] J.N. Oliveira, An Introduction to Point-free Programming, Chapter of book in preparation, Departamento de Informática, Universidade do Minho, Braga, Portugal.
[5,6] A. Pardo, Combining datatypes and effects. En Advanced Functional Programming. Lecture Notes in Computer Science, Vol. 3622, Springer-Verlag (2005).
[7] B. Xu, Y. Zhang, X. Zhou and L. Shi, Modular monadic program slicing, In Proceeding of the 28th Annual International Computer Software and Application Conference (COMPSAC’04), 28-30 September, 2004, Hong Kong. IEEE CS Press, Los Alamitos California, USA, 2004.
[8] G. Villavicencio, Refactoring for Comprehension, Draft Proceedings of the Eighth Symposium on Trends in Functional Programming (TFP 2007), 2-4 April, 2007, New York, USA.
[9] C. Lüth and N. Ghani, Composing Monads Using Coproducts, In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP 2002), Pittsburgh, PA, USA.
[10] Jeremy Gibbons, Datatype-Generic Programming, (Artículo sometido a publicación), 2007.
[11] H. Li, C. Reinke and S. Thompson, Tool support for refactoring functional programms, ACM SIGPLAN 2003 Haskell Workshop, 2003.
[12] Phil Wadler, Monads for Functional Programming, In Advanced Functional Programming, Lecture Notes in Computer Science, Vol. 925, Springer-Verlag (1995).
[13] S. Liang, P. Hudak and M. Jones, Monad Transformers and Modular Interpreters, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, San Francisco, CA, 1995.