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.DCShow all

1 paper · 1 filter

cs.DC2024

Planetary computing for data-driven environmental policy-making

Patrick Ferris, Michael Dales, Sadiq Jaffer +8

We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental sc…