Tomas Petricek

Identifiers

• name variant Tomas Petricek 0.60 · backfill

Papers (3)

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

Mentions

• 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
• Karel Zimmermann 1 shared papers
• Tomas Svoboda 1 shared papers
• Vojtech Salansky 1 shared papers