Tomas Petricek

According to our database, Tomas Petricek authored at least 39 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.

Jan Liam Verter, Tomas Petricek

CoRR, 2024

2023

AI Assistants: A Framework for Semi-Automated Data Wrangling.

Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz, Christopher K. I. Williams

IEEE Trans. Knowl. Data Eng., September, 2023

Technical Dimensions of Programming Systems.

Joel Jakubovic, Jonathan Edwards, Tomas Petricek

Art Sci. Eng. Program., February, 2023

Live & Local Schema Change: Challenge Problems.

Jonathan Edwards, Tomas Petricek, Tijs van der Storm

CoRR, 2023

2022

Linked visualisations via Galois dependencies.

Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang

Proc. ACM Program. Lang., 2022

The Gamma: Programmatic Data Exploration for Non-programmers.

Tomas Petricek

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

Interaction vs. Abstraction: Managed Copy and Paste.

Jonathan Edwards, Tomas Petricek

Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, 2022

Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System.

Joel Jakubovic, Tomas Petricek

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

2021

Composable data visualizations.

Tomas Petricek

J. Funct. Program., 2021

Typed Image-based Programming with Structure Editing.

Jonathan Edwards, Tomas Petricek

CoRR, 2021

Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.

Mark Priestley, Tomas Petricek

IEEE Ann. Hist. Comput., 2021

Programming as architecture, design, and urban planning.

Tomas Petricek

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

2020

Foundations of a live data exploration environment.

Tomas Petricek

Art Sci. Eng. Program., 2020

2019

Evaluating programming systems design.

Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church

Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

Usability of Probabilistic Programming Languages.

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

Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

2018

What we talk about when we talk about monads.

Tomas Petricek

Art Sci. Eng. Program., 2018

Wrattler: Reproducible, live and polyglot notebooks.

Tomas Petricek, James Geddes, Charles Sutton

Proceedings of the 10th USENIX Workshop on the Theory and Practice of Provenance, 2018

Critique of 'an anatomy of interaction: co-occurrences and entanglements'.

Tomas Petricek

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Miscomputation in software: Learning to live with errors.

Tomas Petricek

Art Sci. Eng. Program., 2017

Data Exploration through Dot-driven Development (Artifact).

Tomas Petricek

Dagstuhl Artifacts Ser., 2017

Tools for open, transparent and engaging storytelling.

Tomas Petricek

Proceedings of the Companion to the first International Conference on the Art, 2017

Data Exploration through Dot-driven Development.

Tomas Petricek

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Programming language theory: Thinking the unthinkable.

Tomas Petricek

Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, 2016

Types from data: making structured data first-class citizens in F#.

Tomas Petricek, Gustavo Guerra, Don Syme

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Effect Systems Revisited - Control-Flow Algebra and Semantics.

Alan Mycroft, Dominic A. Orchard, Tomas Petricek

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Against a universal definition of 'Type'.

Tomas Petricek

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

2014

In the Age of Web: Typed Functional-First Programming Revisited.

Tomas Petricek, Don Syme, Zach Bray

Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

The semantic marriage of monads and effects.

Dominic A. Orchard, Tomas Petricek, Alan Mycroft

CoRR, 2014

The F# Computation Expression Zoo.

Tomas Petricek, Don Syme

Proceedings of the Practical Aspects of Declarative Languages, 2014

Coeffects: a calculus of context-dependent computation.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Embedding effect systems in Haskell.

Dominic A. Orchard, Tomas Petricek

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Themes in information-rich functional programming for internet-scale data sources.

Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek

Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

Coeffects: Unified Static Analysis of Context-Dependence.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Evaluation strategies for monadic computations

Tomas Petricek

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

2011

The F# Asynchronous Programming Model.

Don Syme, Tomas Petricek, Dmitry Lomov

Proceedings of the Practical Aspects of Declarative Languages, 2011

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.

Tomas Petricek, Don Syme

Proceedings of the Practical Aspects of Declarative Languages, 2011

Extending monads with pattern matching.

Tomas Petricek, Alan Mycroft, Don Syme

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Collecting hollywood's garbage: avoiding space-leaks in composite events.

Tomas Petricek, Don Syme

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Encoding Monadic Computations in C# Using Iterators.

Tomas Petricek

Proceedings of the Conference on Theory and Practice of Information Technologies, 2009