Tomas Petricek

1. Baseline: Operation-Based Evolution and Versioning of Data
   2025/12/10 by Jonathan Edwards, Edwards, Jonathan, Tomas Petricek +1 · 4 voices · 1 citation
   Decision Sciences · Computer Science · #Scientific Computing and Data Management #Advanced Database Systems and Queries #Logic, programming, and type systems
2. In the Age of Web: Typed Functional-First Programming Revisited
   2015/12/05 by Tomas Petricek, Don Syme, Zach Bray · 2 voices
   Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Software Engineering Research #cs.PL #cs.SE
3. Schema Evolution in Interactive Programming Systems
   2024/10/15 by Jonathan Edwards, Tomas Petricek, Tijs van der Storm +1 · 3 voices · 1 citation
   Computer Science · #Artificial Intelligence in Games #Evolutionary Algorithms and Applications #Multi-Agent Systems and Negotiation