works on
bidirectional typing 1cross-ecosystem tooling 1dependency resolution 1dynamic casts 1formal methods 1gradual typing 1interactive highlighting 1package management 1software supply chain 1type debugging 1type systems 1

From the 2 of 6 linked papers with an AI index.

activity
20242026
most citedDecomposable Type Highlighting for Bidirectional Type and Cast System

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2025

Emission Impossible: privacy-preserving carbon emissions claims

Jessica Man, Sadiq Jaffer, Patrick Ferris +2

Information and Communication Technologies (ICT) have a significant climate impact, and data centres account for a large proportion of the carbon emissions from ICT. To achieve sus…