Encoding Monadic Computations in C# Using Iterators. - Tomas Petricek 001 (ITAT, 2009)

Collecting hollywood's garbage: avoiding space-leaks in composite events. - Tomas Petricek 001; Don Syme (ISMM, 2010)

Extending monads with pattern matching. - Tomas Petricek 001; Alan Mycroft; Don Syme (Haskell, 2011)

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. - Tomas Petricek 001; Don Syme (PADL, 2011)

The F# Asynchronous Programming Model. - Don Syme; Tomas Petricek 001; Dmitry Lomov (PADL, 2011)

Evaluation strategies for monadic computations - Tomas Petricek 001 (MSFP, 2012)

Coeffects: Unified Static Analysis of Context-Dependence. - Tomas Petricek 001; Dominic A. Orchard; Alan Mycroft (ICALP (2), 2013)

Themes in information-rich functional programming for internet-scale data sources. - Don Syme; Keith Battocchi; Kenji Takeda; Donna Malayeri; Tomas Petricek 001 (DDFP, 2013)

Embedding effect systems in Haskell. - Dominic A. Orchard; Tomas Petricek 001 (Haskell, 2014)

Coeffects: a calculus of context-dependent computation. - Tomas Petricek 001; Dominic A. Orchard; Alan Mycroft (ICFP, 2014)

The F# Computation Expression Zoo. - Tomas Petricek 001; Don Syme (PADL, 2014)

The semantic marriage of monads and effects. - Dominic A. Orchard; Tomas Petricek 001; Alan Mycroft (CoRR, 2014)

In the Age of Web: Typed Functional-First Programming Revisited. - Tomas Petricek 001; Don Syme; Zach Bray (ML/OCaml, 2014)

Against a universal definition of 'Type'. - Tomas Petricek 001 (Onward!, 2015)

Effect Systems Revisited - Control-Flow Algebra and Semantics. - Alan Mycroft; Dominic A. Orchard; Tomas Petricek 001 (Semantics, Logics, and Calculi, 2016)

Types from data: making structured data first-class citizens in F#. - Tomas Petricek 001; Gustavo Guerra; Don Syme (PLDI, 2016)

Programming language theory: Thinking the unthinkable. - Tomas Petricek 001 (PPIG, 2016)

Data Exploration through Dot-driven Development. - Tomas Petricek 001 (ECOOP, 2017)

Tools for open, transparent and engaging storytelling. - Tomas Petricek 001 (Programming, 2017)

Data Exploration through Dot-driven Development (Artifact). - Tomas Petricek 001 (Dagstuhl Artifacts Ser., 2017)

Miscomputation in software: Learning to live with errors. - Tomas Petricek 001 (Art Sci. Eng. Program., 2017)

Critique of 'an anatomy of interaction: co-occurrences and entanglements'. - Tomas Petricek 001 (Programming, 2018)

Wrattler: Reproducible, live and polyglot notebooks. - Tomas Petricek 001; James Geddes; Charles Sutton (TaPP, 2018)

What we talk about when we talk about monads. - Tomas Petricek 001 (Art Sci. Eng. Program., 2018)

Usability of Probabilistic Programming Languages. - Alan F. Blackwell; Luke Church; Martin Erwig; James Geddes; Andy Gordon 001; Maria I. Gorinova 001; Atilim Gunes Baydin; Bradley Gram-Hansen; Tobias Kohn; Neil D. Lawrence; Vikash Mansinghka 001; Brooks Paige; et al. (PPIG, 2019)

Evaluating programming systems design. - Jonathan Edwards; Stephen Kell; Tomas Petricek 001; Luke Church (PPIG, 2019)

Foundations of a live data exploration environment. - Tomas Petricek 001 (Art Sci. Eng. Program., 2020)

Programming as architecture, design, and urban planning. - Tomas Petricek 001 (Onward!, 2021)

Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference. - Mark Priestley; Tomas Petricek 001 (IEEE Ann. Hist. Comput., 2021)

Typed Image-based Programming with Structure Editing. - Jonathan Edwards; Tomas Petricek 001 (CoRR, 2021)

Composable data visualizations. - Tomas Petricek 001 (J. Funct. Program., 2021)

Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. - Joel Jakubovic; Tomas Petricek 001 (Onward!, 2022)

Interaction vs. Abstraction: Managed Copy and Paste. - Jonathan Edwards; Tomas Petricek 001 (PAINT@SPLASH, 2022)

The Gamma: Programmatic Data Exploration for Non-programmers. - Tomas Petricek 001 (VL/HCC, 2022)

Linked visualisations via Galois dependencies. - Roly Perera; Minh Nguyen; Tomas Petricek 001; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

Live & Local Schema Change: Challenge Problems. - Jonathan Edwards; Tomas Petricek 001; Tijs van der Storm (CoRR, 2023)

Technical Dimensions of Programming Systems. - Joel Jakubovic; Jonathan Edwards; Tomas Petricek 001 (Art Sci. Eng. Program., 2023)

AI Assistants: A Framework for Semi-Automated Data Wrangling. - Tomas Petricek 001; Gerrit J. J. van den Burg; Alfredo Nazábal; Taha Ceritli; Ernesto Jiménez-Ruiz; Christopher K. I. Williams (IEEE Trans. Knowl. Data Eng., 2023)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. - Jan Liam Verter; Tomas Petricek 001 (CoRR, 2024)

Schema Evolution in Interactive Programming Systems. - Jonathan Edwards; Tomas Petricek 001; Tijs van der Storm; Geoffrey Litt (Art Sci. Eng. Program., 2024)