works on
3d gaussian splatting 1adaptive materials 1bidirectional typing 1coq formalisation 1covisibility graph 1dissipative structures 1incremental reconstruction 1interpolation theorem 1lambda calculus 1loop closure 1proof-relevant interpolation 1real-time rendering 1

From the 3 of 68 papers with an AI index.

most citedConditional anomaly detection with soft harmonic functions

21 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

4 papers · 1 filter

cs.PL2026

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors

Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence

We analyse the problem of combining linearity, effects, and exceptions, in abstract models of programming languages, as the issue of providing some kind of strength for a monad $T(…

cs.PL2026

Determinacy with Priorities up to Clocks

Luigi Liquori, Michael Mendler, Claude Stolze

In Milner's seminal book on communication and concurrency introducing CCS, a process algebra inherently non-deterministic, chapter 11 was completely devoted to introduce the notion…

cs.PL2026

2-Functoriality of Initial Semantics, and Applications

Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux

Initial semantics aims to model inductive structures and their properties, and to provide them with recursion principles respecting these properties. An ubiquitous example is the f…

cs.PL2026

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice

Zena M. Ariola, Paul Downen, Hugo Herbelin

Structural recursion is a common technique used by programmers in modern languages and is taught to introductory computer science students. But what about its dual, structural core…