pith. sign in

Tobias Reinhard

Identifiers

  • name variant Tobias Reinhard 0.60 · backfill

Papers (1)

  1. DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types cs.PL · 2026 · author #2

Mentions

  • 2602.20866 #2 · arxiv_oai · confidence 0.70 Tobias Reinhard

Frequent Coauthors