Author-Tomaspetricek on D3S https://d3s.mff.cuni.cz/tags/author-tomaspetricek/ Recent content in Author-Tomaspetricek on D3S Hugo en A Pragmatic Approach to Replay Compilation https://d3s.mff.cuni.cz/publications/pecimuth_pragmatic_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pecimuth_pragmatic_2025/ Against a universal definition of 'Type' https://d3s.mff.cuni.cz/publications/petricek_against_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_against_2015/ AI Assistants: A Framework for Semi-Automated Data Wrangling https://d3s.mff.cuni.cz/publications/petricek_ai_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_ai_2023/ Ascending the ladder to self-sustainability https://d3s.mff.cuni.cz/publications/jakubovic_ascending_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jakubovic_ascending_2022/ Coeffects: a calculus of context-dependent computation https://d3s.mff.cuni.cz/publications/petricek_coeffects_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_coeffects_2014/ Coeffects: Unified Static Analysis of Context-Dependence https://d3s.mff.cuni.cz/publications/petricek_coeffects_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_coeffects_2013/ Collecting hollywood's garbage: avoiding space-leaks in composite events https://d3s.mff.cuni.cz/publications/petricek_collecting_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_collecting_2010/ Comparing R Bytecode Compilers Written in R, Java, and Rust https://d3s.mff.cuni.cz/publications/donatbouillud_comparing_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/donatbouillud_comparing_2025/ Composable data visualizations https://d3s.mff.cuni.cz/publications/petricek_composable_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_composable_2021/ Covid19, Charitable Giving and Collectivism: a data-harvesting approach https://d3s.mff.cuni.cz/publications/taylorgooby_covid19_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/taylorgooby_covid19_2023/ Cultures of Programming: The Development of Programming Concepts and Methodologies https://d3s.mff.cuni.cz/publications/petricek_cultures_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_cultures_2025/ Data Exploration through Dot-driven Development https://d3s.mff.cuni.cz/publications/petricek_data_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_data_2017/ Denicek: Computational Substrate for Document-Oriented End-User Programming https://d3s.mff.cuni.cz/publications/petricek_denicek_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_denicek_2025/ Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory https://d3s.mff.cuni.cz/publications/verter_dont_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/verter_dont_2024/ Effect Systems Revisited—Control-Flow Algebra and Semantics https://d3s.mff.cuni.cz/publications/mycroft_effect_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mycroft_effect_2016/ Embedding effect systems in Haskell https://d3s.mff.cuni.cz/publications/orchard_embedding_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/orchard_embedding_2014/ Evaluating programming systems design https://d3s.mff.cuni.cz/publications/edwards_evaluating_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_evaluating_2019/ Extending monads with pattern matching https://d3s.mff.cuni.cz/publications/petricek_extending_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_extending_2011/ Foundations of a live data exploration environment https://d3s.mff.cuni.cz/publications/petricek_foundations_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_foundations_2020/ In the Age of Web: Typed Functional-First Programming Revisited https://d3s.mff.cuni.cz/publications/petricek_in_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_in_2014/ Interaction vs. Abstraction: Managed Copy and Paste https://d3s.mff.cuni.cz/publications/edwards_interaction_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_interaction_2022/ Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming https://d3s.mff.cuni.cz/publications/petricek_joinads_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_joinads_2011/ Language and the Rise of the Algorithm by Jeffrey M. Binder (review) https://d3s.mff.cuni.cz/publications/petricek_language_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_language_2024/ Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement https://d3s.mff.cuni.cz/publications/orchard_languages_2026/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/orchard_languages_2026/ Linked visualisations via Galois dependencies https://d3s.mff.cuni.cz/publications/perera_linked_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/perera_linked_2022/ Live & Local Schema Change: Challenge Problems https://d3s.mff.cuni.cz/publications/edwards_live_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_live_2023/ Miscomputation in software: Learning to live with errors https://d3s.mff.cuni.cz/publications/petricek_miscomputation_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_miscomputation_2017/ OASIcs, Volume 134, Programming 2025, Complete Volume https://d3s.mff.cuni.cz/publications/edwards_oasics_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_oasics_2025/ On the Limits of Making Programming Easy https://d3s.mff.cuni.cz/publications/petricek_limits_2026/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_limits_2026/ Programming as architecture, design, and urban planning https://d3s.mff.cuni.cz/publications/petricek_programming_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_programming_2021/ Programming language theory: Thinking the unthinkable https://d3s.mff.cuni.cz/publications/petricek_programming_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_programming_2016/ Schema Evolution in Interactive Programming Systems https://d3s.mff.cuni.cz/publications/edwards_schema_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_schema_2024/ Technical Dimensions of Programming Systems https://d3s.mff.cuni.cz/publications/jakubovic_technical_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jakubovic_technical_2023/ The F# Asynchronous Programming Model https://d3s.mff.cuni.cz/publications/syme_f_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/syme_f_2011/ The F# Computation Expression Zoo https://d3s.mff.cuni.cz/publications/petricek_f_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_f_2014/ The Gamma: Programmatic Data Exploration for Non-programmers https://d3s.mff.cuni.cz/publications/petricek_gamma_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_gamma_2022/ Themes in information-rich functional programming for internet-scale data sources https://d3s.mff.cuni.cz/publications/syme_themes_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/syme_themes_2013/ Toward a Typed Intermediate Language for R https://d3s.mff.cuni.cz/publications/laurent_toward_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/laurent_toward_2025/ Typed Image-based Programming with Structure Editing https://d3s.mff.cuni.cz/publications/edwards_typed_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/edwards_typed_2021/ Types from data: making structured data first-class citizens in F# https://d3s.mff.cuni.cz/publications/petricek_types_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_types_2016/ What we talk about when we talk about monads https://d3s.mff.cuni.cz/publications/petricek_what_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_what_2018/ Wrattler: Reproducible, live and polyglot notebooks https://d3s.mff.cuni.cz/publications/petricek_wrattler_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_wrattler_2018/