Tomas Petricek

  • University of Kent, UK
  • Alan Turing Institute, London, UK (former)
  • Microsoft Research, Cambridge, UK (former)
  • University of Cambridge, UK (former)

According to our database1, Tomas Petricek authored at least 32 papers between 2009 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Linked visualisations via Galois dependencies.
Proc. ACM Program. Lang., 2022

Composable data visualizations.
J. Funct. Program., 2021

Typed Image-based Programming with Structure Editing.
CoRR, 2021

Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.
IEEE Ann. Hist. Comput., 2021

Programming as architecture, design, and urban planning.
Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

Foundations of a live data exploration environment.
Art Sci. Eng. Program., 2020

Evaluating programming systems design.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

Usability of Probabilistic Programming Languages.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

What we talk about when we talk about monads.
Art Sci. Eng. Program., 2018

Wrattler: Reproducible, live and polyglot notebooks.
Proceedings of the 10th USENIX Workshop on the Theory and Practice of Provenance, 2018

Critique of 'an anatomy of interaction: co-occurrences and entanglements'.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Miscomputation in software: Learning to live with errors.
Art Sci. Eng. Program., 2017

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

Tools for open, transparent and engaging storytelling.
Proceedings of the Companion to the first International Conference on the Art, 2017

Data Exploration through Dot-driven Development.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Programming language theory: Thinking the unthinkable.
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#.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Effect Systems Revisited - Control-Flow Algebra and Semantics.
Proceedings of the Semantics, Logics, and Calculi, 2016

Against a universal definition of 'Type'.
Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

In the Age of Web: Typed Functional-First Programming Revisited.
Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

The semantic marriage of monads and effects.
CoRR, 2014

The F# Computation Expression Zoo.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Coeffects: a calculus of context-dependent computation.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Embedding effect systems in Haskell.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Themes in information-rich functional programming for internet-scale data sources.
Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

Coeffects: Unified Static Analysis of Context-Dependence.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Evaluation strategies for monadic computations
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

The F# Asynchronous Programming Model.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Extending monads with pattern matching.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Collecting hollywood's garbage: avoiding space-leaks in composite events.
Proceedings of the 9th International Symposium on Memory Management, 2010

Encoding Monadic Computations in C# Using Iterators.
Proceedings of the Conference on Theory and Practice of Information Technologies, 2009