Tomas Petricek

54 papers A* 2A 2B 1C 6Journal 23Unranked 17
YearRankTypeTitle / Venue / Authors
2026 — ed.
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
Languages, Compilers, Analysis
Dominic Orchard, Tomas Petricek, Jeremy Singer
2026 — conf
On the Limits of Making Programming Easy.
Languages, Compilers, Analysis
Tomas Petricek, Joel Jakubovic
2025 J jnl
Baseline: Operation-Based Evolution and Versioning of Data.
CoRR
Jonathan Edwards, Tomas Petricek
2025 — ed.
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, Prague, Czechia, June 2-6, 2025
Programming
Jonathan Edwards, Roly Perera, Tomas Petricek
2025 A* conf
Denicek: Computational Substrate for Document-Oriented End-User Programming.
UIST
Tomas Petricek, Jonathan Edwards
2024 J jnl
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.
CoRR
Jan Liam Verter, Tomas Petricek
2024 J jnl
Schema Evolution in Interactive Programming Systems.
CoRR
Jonathan Edwards, Tomas Petricek, Tijs van der Storm, Geoffrey Litt
2024 J jnl
Schema Evolution in Interactive Programming Systems.
Art Sci. Eng. Program.
Jonathan Edwards, Tomas Petricek, Tijs van der Storm, Geoffrey Litt
2023 J jnl
AI Assistants: A Framework for Semi-Automated Data Wrangling.
IEEE Trans. Knowl. Data Eng.
Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz, Christopher K. I. Williams
2023 J jnl
Live & Local Schema Change: Challenge Problems.
CoRR
Jonathan Edwards, Tomas Petricek, Tijs van der Storm
2023 J jnl
Technical Dimensions of Programming Systems.
CoRR
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
2023 J jnl
Technical Dimensions of Programming Systems.
Art Sci. Eng. Program.
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
2022 J jnl
AI Assistants: A Framework for Semi-Automated Data Wrangling.
CoRR
Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz, Christopher K. I. Williams
2022 — conf
Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System.
Onward!
Joel Jakubovic, Tomas Petricek
2022 — conf
Interaction vs. Abstraction: Managed Copy and Paste.
PAINT@SPLASH
Jonathan Edwards, Tomas Petricek
2022 J jnl
Linked visualisations via Galois dependencies.
Proc. ACM Program. Lang.
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2022 B conf
The Gamma: Programmatic Data Exploration for Non-programmers.
VL/HCC
Tomas Petricek
2021 J jnl
Composable data visualizations.
J. Funct. Program.
Tomas Petricek
2021 J jnl
Linked visualisations via Galois dependencies.
CoRR
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2021 — conf
Programming as architecture, design, and urban planning.
Onward!
Tomas Petricek
2021 J jnl
Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.
IEEE Ann. Hist. Comput.
Mark Priestley, Tomas Petricek
2021 J jnl
Typed Image-based Programming with Structure Editing.
CoRR
Jonathan Edwards, Tomas Petricek
2020 J jnl
Foundations of a live data exploration environment.
CoRR
Tomas Petricek
2020 J jnl
Foundations of a live data exploration environment.
Art Sci. Eng. Program.
Tomas Petricek
2019 — conf
Evaluating programming systems design.
PPIG
Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church
2019 — ed.
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23-24, 2019.
Onward!
Hidehiko Masuhara, Tomas Petricek
2019 — conf
Usability of Probabilistic Programming Languages.
PPIG
Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil D. Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson
2018 — conf
Critique of 'an anatomy of interaction: co-occurrences and entanglements'.
Programming
Tomas Petricek
2018 J jnl
What we talk about when we talk about monads.
CoRR
Tomas Petricek
2018 J jnl
What we talk about when we talk about monads.
Art Sci. Eng. Program.
Tomas Petricek
2018 — conf
Wrattler: Reproducible, live and polyglot notebooks.
TaPP
Tomas Petricek, James Geddes, Charles Sutton
2017 J jnl
Data Exploration through Dot-driven Development (Artifact).
Dagstuhl Artifacts Ser.
Tomas Petricek
2017 A conf
Data Exploration through Dot-driven Development.
ECOOP
Tomas Petricek
2017 J jnl
Miscomputation in software: Learning to live with errors.
CoRR
Tomas Petricek
2017 J jnl
Miscomputation in software: Learning to live with errors.
Art Sci. Eng. Program.
Tomas Petricek
2017 — conf
Tools for open, transparent and engaging storytelling.
Programming
Tomas Petricek
2016 — conf
Effect Systems Revisited - Control-Flow Algebra and Semantics.
Semantics, Logics, and Calculi
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
2016 — conf
Programming language theory: Thinking the unthinkable.
PPIG
Tomas Petricek
2016 J jnl
Types from data: Making structured data first-class citizens in F#.
CoRR
Tomas Petricek, Gustavo Guerra, Don Syme
2016 A* conf
Types from data: making structured data first-class citizens in F#.
PLDI
Tomas Petricek, Gustavo Guerra, Don Syme
2015 — conf
Against a universal definition of 'Type'.
Onward!
Tomas Petricek
2014 A conf
Coeffects: a calculus of context-dependent computation.
ICFP
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
2014 C conf
Embedding effect systems in Haskell.
Haskell
Dominic A. Orchard, Tomas Petricek
2014 — conf
In the Age of Web: Typed Functional-First Programming Revisited.
ML/OCaml
Tomas Petricek, Don Syme, Zach Bray
2014 C conf
The F# Computation Expression Zoo.
PADL
Tomas Petricek, Don Syme
2014 J jnl
The semantic marriage of monads and effects.
CoRR
Dominic A. Orchard, Tomas Petricek, Alan Mycroft
2013 — conf
Coeffects: Unified Static Analysis of Context-Dependence.
ICALP (2)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
2013 — conf
Themes in information-rich functional programming for internet-scale data sources.
DDFP
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek
2012 — conf
Evaluation strategies for monadic computations
MSFP
Tomas Petricek
2011 C conf
Extending monads with pattern matching.
Haskell
Tomas Petricek, Alan Mycroft, Don Syme
2011 C conf
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.
PADL
Tomas Petricek, Don Syme
2011 C conf
The F# Asynchronous Programming Model.
PADL
Don Syme, Tomas Petricek, Dmitry Lomov
2010 C conf
Collecting hollywood's garbage: avoiding space-leaks in composite events.
ISMM
Tomas Petricek, Don Syme
2009 — conf
Encoding Monadic Computations in C# Using Iterators.
ITAT
Tomas Petricek