D3s-Pl on D3S https://d3s.mff.cuni.cz/tags/d3s-pl/ Recent content in D3s-Pl on D3S Hugo en A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning https://d3s.mff.cuni.cz/publications/boruchgruszecki_case_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/boruchgruszecki_case_2022/ 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/ Capturing Types https://d3s.mff.cuni.cz/publications/boruchgruszecki_capturing_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/boruchgruszecki_capturing_2023/ 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/ Copy-and-Patch Just-in-Time Compiler for R https://d3s.mff.cuni.cz/publications/kocourek_copyandpatch_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kocourek_copyandpatch_2025/ 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/ Decidable Subtyping of Existential Types for Julia https://d3s.mff.cuni.cz/publications/belyakova_decidable_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/belyakova_decidable_2024/ Degrees of Separation: A Flexible Type System for Safe Concurrency https://d3s.mff.cuni.cz/publications/xu_degrees_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/xu_degrees_2024/ 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/ Deoptless: speculation with dispatched on-stack replacement and specialized continuations https://d3s.mff.cuni.cz/publications/fluckiger_deoptless_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/fluckiger_deoptless_2022/ 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/ Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back https://d3s.mff.cuni.cz/publications/brachthauser_effects_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/brachthauser_effects_2022/ 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/ 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/ R4R: Reproducibility for R https://d3s.mff.cuni.cz/publications/donatbouillud_r4r_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/donatbouillud_r4r_2025/ Reducing Feedback Pollution https://d3s.mff.cuni.cz/publications/krynski_reducing_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/krynski_reducing_2024/ Reusing Just-in-Time Compiled Code https://d3s.mff.cuni.cz/publications/mehta_reusing_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mehta_reusing_2023/ 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/ signatr: A Data-Driven Fuzzing Tool for R https://d3s.mff.cuni.cz/publications/turcotte_signatr_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/turcotte_signatr_2022/ 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 Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments https://d3s.mff.cuni.cz/publications/maj_fault_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/maj_fault_2024/ 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/ The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification https://d3s.mff.cuni.cz/publications/jakubovic_unix_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jakubovic_unix_2025/ 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 it takes to create with domain-appropriate tools: reflections on implementing the “id” system https://d3s.mff.cuni.cz/publications/jakubovic_what_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jakubovic_what_2020/ 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/ When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism https://d3s.mff.cuni.cz/publications/parreaux_when_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parreaux_when_2024/ 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/