D. Lizcano, F. Alonso, J. Soriano, G. López: Supporting End-User Development through a New Composition Model: An Empirical Study /jucs_18_2/supporting_end_user_development
C. Vasconcellos, L. Figueiredo, C. Camarão: Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell /jucs_9_8/practical_type_inference_for