From the 2 of 5 linked papers with an AI index.
2 citations · 2 across the 2 of their papers we have counts for
5 papers
Decomposable Type Highlighting for Bidirectional Type and Cast System
Max Carroll, Anil Madhavapeddy, Patrick Ferris
The paper introduces a decomposable highlighting system for bidirectional type checking and dynamic casts, providing an interactive web interface to help programmers debug static a…
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
The paper introduces the Package Calculus, a formal model that captures the core semantics of dependency resolution across different package managers, enabling precise cross‑ecosys…
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…
Solving Package Management via Hypergraph Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +7
Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that m…
Steps towards an Ecology for the Internet
Anil Madhavapeddy, Sam Reynolds, Alec P. Christie +10
The Internet has grown from a humble set of protocols for end-to-end connectivity into a critical global system with no builtin "immune system". In the next decade the Internet wil…