The Multi Group
These pages are severly outdated and may disappear shortly. You probably should look at the Functional Programming Group pages instead. (P. Jansson, 2009-02-22) The research in the Multi Group mainly revolves around functional programming, and programming languages in general. Meetings We meet every Thursday in the Multi Meeting. Here, members of the group, invited speakers or guests, give presentations about their latest work. Check out the list of talks we had in the past to get an impression of these meetings. Projects The functional programming research is mainly centered around the programming language Haskell. Check out the homepages of these projects to find out more about them, or the homepages of the individual members of the Multi Group to learn about other projects. Some History The Programming Methodology Group (PMG) was formed in ca. 1980, as a group of people interested in semantically simple, clean and powerful languages. From this common philosophy three major strands of research developed: programming logics and the Martin-Löf theory of types; functional programming languages, their use and implementation; and process calculi such as CCS. Although the research has diversified, we still share the common goal of developing tools and methodologies for deriving correct as well as efficient programs. The current activities within the functional programming group range from category theory and other theory, applications of functional programming, to low level implementation techniques.		Useful links The weekly Multi Meeting. The Multi Library. The CS Department. Research at the Department. People at the Department. Projects and Subgroups CoVer Quick Check Cayenne O'Haskell Formal Methods Lava Fudgets HBC Polytypic Programming Type Specialisation ... Multi Members Lennart Augustsson Dennis Björklund Björn Bringert Niklas Broberg Koen Claessen Nils Anders Danielsson Tobias Gedell Jörgen Gustavsson John Hughes Patrik Jansson Peter Ljunglöf Ulf Norell David Sands Josef Svenningsson