P. Abate, J. Boender, R. D. Cosmo, and S. Zacchiroli, Strong dependencies between software components, 2009 3rd International Symposium on Empirical Software Engineering and Measurement, 2009.
DOI : 10.1109/ESEM.2009.5316017
URL : https://hal.archives-ouvertes.fr/hal-00388093

L. Augustsson, Compiling pattern matching, Functional Programming Languages and Computer Architecture, pp.368-381, 1985.
DOI : 10.1007/3-540-15975-4_48

D. L. Berre and P. Rapicault, Dependency management for the eclipse ecosystem, Proceedings of the 1st international workshop on Open component ecosystems, IWOCE '09, p.2009, 2009.
DOI : 10.1145/1595800.1595805
URL : https://hal.archives-ouvertes.fr/hal-00870855

D. Clément, T. Despeyroux, G. Kahn, and J. Despeyroux, A simple applicative language: mini-ML, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86, pp.13-27, 1986.
DOI : 10.1145/319838.319847

L. Damas and R. Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176

R. , D. Cosmo, and S. Cousin, Project presentation. Deliverable D1.1, The Mancoosi project, 2008.

R. , D. Cosmo, P. Trezentos, and S. Zacchiroli, Package upgrades in FOSS distributions: details and challenges, HotSWUp'08, pp.1-5, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00359847

E. Project, Report on formal management of software dependencies, EDOS Project Deliverable D2.1 and D2.2, 2006.

F. Mancinelli, J. Boender, R. D. Cosmo, J. Vouillon, B. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566

G. Niemeyer, Smart package manager, 2008.

G. Silva, APT howto, 2008.

E. S. Raymond, The Art of UNIX Programming

D. Rémy, Type inference for records in natural extension of ml, Theoretical aspects of object-oriented programming, pp.67-95, 1994.

R. Treinen and S. Zacchiroli, Description of the CUDF format. Deliverable D5.1, The Mancoosi project, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340678

R. Treinen, S. Zacchiroli, R. Di-cosmo, S. Lauriere, M. Morgado et al., Solving package dependencies New Generation of Linux Meta-installers, DebConf8 Proceedings, pp.18-42, 2007.

C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner, OPIUM: Optimal Package Install/Uninstall Manager, 29th International Conference on Software Engineering (ICSE'07), pp.178-188, 2007.
DOI : 10.1109/ICSE.2007.59

D. Volpano, C. Irvine, and G. Smith, A sound type system for secure flow analysis, Journal of Computer Security, vol.4, issue.2-3, pp.167-187, 1996.
DOI : 10.3233/JCS-1996-42-304