- Author
- The Granule Project (research group, University of Kent and collaborators)
- Published
- Undated (news items run to August 2026)
- Kind
- Research project home page with a news list
- Original
- granule-project.github.io/
- Subject
- Programming languages and types
What it is
The Granule project is an academic research effort on type systems. The page gives a short mission statement. It then lists news from March 2020 to August 2026.
What it says
- The project wants types to capture how a program computes, not just what.
- Its main mechanism is graded types combined with linear and dependent types.
- Graded modal types with linear types aim to enforce resource use in the language.
- The group is developing the Granule language, plus a dependent type theory implemented in Gerty.
- An August 2026 ICFP paper, Same Coeffect, Different Base, connects two approaches to graded types.
- A 2022 ECOOP paper on inverting a type won two distinguished awards.
- A November 2024 grant from ARIA funds graded modal types for probabilistic programming.
What evidence it gives
The page offers a news list naming papers, venues, awards and grants. No code, results or proofs appear on the page itself.
Interests and limits
This is the group's own description, so awards and aims are self-reported. The linked papers, documentation and software were not read. Some math markup on the page did not render in the text copy.