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 MartinLö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.

Website: http://www.cs.chalmers.se/ComputingScience/Research/Functional/