Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Type and Effect Systems

199997 citationsBook Chapter

Authors

Flemming Nielson · Aarhus University

Hanne Riis Nielson · Aarhus University

Chris Hankin · Imperial College London

Topics & Keywords

Logic, programming, and type systems Advanced Software Engineering Methodologies Parallel Computing and Optimization Techniques

UN Sustainable Development Goals

Quality Education

Publication Details

DOI: 10.1007/978-3-662-03811-6_5

Field-Weighted Citation Impact: 1.80

Type and Effect Systems | Researchclopedia