Foundations of Type Inference for Modern Programming Languages

Project description

A new type inference to meet future demands

Fields of science

• social sciences › sociology › anthropology › cultural anthropology › folklore
• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2020-COG - ERC CONSOLIDATOR GRANTS

Call for proposal

ERC-2020-COG
See other projects for this call

Funding Scheme

ERC-COG - Consolidator Grant

Host institution

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE

Address

Trinity Lane The Old Schools
CB2 1TN Cambridge
United Kingdom

Activity type

Higher or Secondary Education Establishments

EU contribution

€ 1 999 998

Beneficiaries (1)

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE

United Kingdom

EU contribution

€ 1 999 998

Address

Trinity Lane The Old Schools
CB2 1TN Cambridge

Activity type

Higher or Secondary Education Establishments