Tomas Petricek

Identifiers

• name variant Tomas Petricek 0.60 · backfill

Papers (4)

1. Baseline: Operation-Based Evolution and Versioning of Data cs.DB · 2025 · author #2
2. Learning for Active 3D Mapping cs.CV · 2017 · author #2
3. Types from data: Making structured data first-class citizens in F# cs.PL · 2016 · author #1
4. The semantic marriage of monads and effects cs.PL · 2014 · author #2

Mentions

• 2512.09762 #2 · arxiv_oai · confidence 0.70 Tomas Petricek
• 1401.5391 #2 · backfill · confidence 0.70 Tomas Petricek

Frequent Coauthors

• Alan Mycroft 1 shared papers
• Dominic Orchard 1 shared papers
• Don Syme 1 shared papers
• Gustavo Guerra 1 shared papers
• Jonathan Edwards 1 shared papers
• Karel Zimmermann 1 shared papers
• Tomas Svoboda 1 shared papers
• Vojtech Salansky 1 shared papers