We present Alice, a functional programming language that has been designed with strong support for . It incorporates concurrency with data flow synchronisation, higher-order modularity, dynamic modules, and type-safe pickling as a minimal and generic set of simple, orthogonal features providing that support. Based on these mechanisms Alice offers a flexible notion of component, and high-level facilities for distributed programming.
Extended version available as a technical report.
Download PDF Show BibTeX
Login to edit