M. Laurent, K. Nguyễn:
Implementing Set-Theoretic Types, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 334:544–334:570, 2026
DOI: 10.1145/3839466
Implementing Set-Theoretic Types, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 334:544–334:570, 2026
DOI: 10.1145/3839466
D. Orchard (editor), T. Petříček (editor), J. Singer (editor):
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, Springer Nature Switzerland, 2026
ISBN: 978-3-032-08186-5 978-3-032-08187-2, DOI: 10.1007/978-3-032-08187-2
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, Springer Nature Switzerland, 2026
ISBN: 978-3-032-08186-5 978-3-032-08187-2, DOI: 10.1007/978-3-032-08187-2
T. Petříček, J. Jakubovic:
On the Limits of Making Programming Easy, in Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, pp. 215-233, 2026
ISBN: 978-3-032-08187-2, DOI: 10.1007/978-3-032-08187-2_11
On the Limits of Making Programming Easy, in Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, pp. 215-233, 2026
ISBN: 978-3-032-08187-2, DOI: 10.1007/978-3-032-08187-2_11
M. Laurent, P. Donat-Bouillud, F. Křikava, J. Vitek:
Revisiting Row Polymorphism for Set-Theoretic Types, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 373:1632–373:1658, 2026
DOI: 10.1145/3839505
Revisiting Row Polymorphism for Set-Theoretic Types, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 373:1632–373:1658, 2026
DOI: 10.1145/3839505
T. Petříček, J. Verter, M. Fromm:
The Choose-Your-Own-Adventure Calculus, in Proceedings of the 2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 111–127, 2026
ISBN: 979-8-4007-2934-8, DOI: 10.1145/3840586.3843213
The Choose-Your-Own-Adventure Calculus, in Proceedings of the 2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 111–127, 2026
ISBN: 979-8-4007-2934-8, DOI: 10.1145/3840586.3843213
T. Petříček, T. Boďa:
Timeline: Adding the Time Dimension to Spreadsheets, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 370:1546–370:1575, 2026
DOI: 10.1145/3839502
Timeline: Adding the Time Dimension to Spreadsheets, in Proceedings of the ACM on Programming Languages 10(OOPSLA2), pp. 370:1546–370:1575, 2026
DOI: 10.1145/3839502
J. Jakubovic:
Towards Concise Binding Semantics of Late-Bould OOP Systems, in Proceedings of ACM on Programming Languages, 2026
DOI: 10.1145/3839468
Towards Concise Binding Semantics of Late-Bould OOP Systems, in Proceedings of ACM on Programming Languages, 2026
DOI: 10.1145/3839468
A. Chung, D. Hayatpur, P. Guo, T. Petříček:
Towards Critical Abstraction for Software, in Proceedings of the 2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 215–228, 2026
ISBN: 979-8-4007-2934-8, DOI: 10.1145/3840586.3843748
Towards Critical Abstraction for Software, in Proceedings of the 2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 215–228, 2026
ISBN: 979-8-4007-2934-8, DOI: 10.1145/3840586.3843748
P. Donat-Bouillud, F. Křikava, J. Hain, A. Plodek, J. Vitek:
Comparing R Bytecode Compilers Written in R, Java, and Rust, in Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), pp. 1:1–1:6, 2025
ISBN: 978-3-95977-382-9, DOI: 10.4230/OASIcs.Programming.2025.1
Comparing R Bytecode Compilers Written in R, Java, and Rust, in Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), pp. 1:1–1:6, 2025
ISBN: 978-3-95977-382-9, DOI: 10.4230/OASIcs.Programming.2025.1
M. Kocourek, F. Křikava, J. Vitek:
Copy-and-Patch Just-in-Time Compiler for R, in Proceedings of the 17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, pp. 12–21, 2025
ISBN: 979-8-4007-2164-9, DOI: 10.1145/3759548.3763370
Copy-and-Patch Just-in-Time Compiler for R, in Proceedings of the 17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, pp. 12–21, 2025
ISBN: 979-8-4007-2164-9, DOI: 10.1145/3759548.3763370
T. Petříček:
Cultures of Programming: The Development of Programming Concepts and Methodologies, Cambridge University Press, 2025
ISBN: 978-1-009-49234-8, DOI: 10.1017/9781009492379
Cultures of Programming: The Development of Programming Concepts and Methodologies, Cambridge University Press, 2025
ISBN: 978-1-009-49234-8, DOI: 10.1017/9781009492379
T. Petříček, J. Edwards:
Denicek: Computational Substrate for Document-Oriented End-User Programming, in Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology, pp. 1–19, 2025
ISBN: 979-8-4007-2037-6, DOI: 10.1145/3746059.3747646
Denicek: Computational Substrate for Document-Oriented End-User Programming, in Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology, pp. 1–19, 2025
ISBN: 979-8-4007-2037-6, DOI: 10.1145/3746059.3747646
P. Donat-Bouillud, F. Křikava, S. Krynski, J. Vitek:
R4R: Reproducibility for R, in Proceedings of the 3rd ACM Conference on Reproducibility and Replicability, pp. 132–142, 2025
ISBN: 979-8-4007-1958-5, DOI: 10.1145/3736731.3746156
R4R: Reproducibility for R, in Proceedings of the 3rd ACM Conference on Reproducibility and Replicability, pp. 132–142, 2025
ISBN: 979-8-4007-1958-5, DOI: 10.1145/3736731.3746156
J. Jakubovic:
The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification, in Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 227–242, 2025
ISBN: 979-8-4007-2151-9, DOI: 10.1145/3759429.3762633
The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification, in Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 227–242, 2025
ISBN: 979-8-4007-2151-9, DOI: 10.1145/3759429.3762633
M. Laurent, J. Hain, F. Krikava, S. Krynski, J. Vitek:
Toward a Typed Intermediate Language for R, in Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), pp. 24:1–24:4, 2025
ISBN: 978-3-95977-382-9, DOI: 10.4230/OASIcs.Programming.2025.24
Toward a Typed Intermediate Language for R, in Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), pp. 24:1–24:4, 2025
ISBN: 978-3-95977-382-9, DOI: 10.4230/OASIcs.Programming.2025.24
J. Belyakova, B. Chung, R. Tate, J. Vitek:
Decidable Subtyping of Existential Types for Julia, in Proc. ACM Program. Lang. 8(PLDI), pp. 191:1091–191:1114, 2024
DOI: 10.1145/3656421
Decidable Subtyping of Existential Types for Julia, in Proc. ACM Program. Lang. 8(PLDI), pp. 191:1091–191:1114, 2024
DOI: 10.1145/3656421
Y. Xu, A. Boruch-Gruszecki, M. Odersky:
Degrees of Separation: A Flexible Type System for Safe Concurrency, in Proc. ACM Program. Lang. 8(OOPSLA1), pp. 136:1181–136:1207, 2024
DOI: 10.1145/3649853
Degrees of Separation: A Flexible Type System for Safe Concurrency, in Proc. ACM Program. Lang. 8(OOPSLA1), pp. 136:1181–136:1207, 2024
DOI: 10.1145/3649853
J. Verter, T. Petříček:
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory, pre-print version available here.
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory, pre-print version available here.
T. Petříček:
Language and the Rise of the Algorithm by Jeffrey M. Binder (review), in Technology and Culture 65(1), pp. 427-429, 2024
Language and the Rise of the Algorithm by Jeffrey M. Binder (review), in Technology and Culture 65(1), pp. 427-429, 2024
S. Krynski, M. Štěpánek, F. Říha, F. Křikava, J. Vitek:
Reducing Feedback Pollution, in Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, pp. 65–74, 2024
ISBN: 979-8-4007-1213-5, DOI: 10.1145/3689490.3690404
Reducing Feedback Pollution, in Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, pp. 65–74, 2024
ISBN: 979-8-4007-1213-5, DOI: 10.1145/3689490.3690404
J. Edwards, T. Petříček, T. van der Storm, G. Litt:
Schema Evolution in Interactive Programming Systems, in The Art, Science, and Engineering of Programming 9(1), pp. 2:1-2:33, 2024
DOI: 10.22152/programming-journal.org/2025/9/2
Schema Evolution in Interactive Programming Systems, in The Art, Science, and Engineering of Programming 9(1), pp. 2:1-2:33, 2024
DOI: 10.22152/programming-journal.org/2025/9/2
P. Maj, S. Muroya, K. Siek, L. Di Grazia, J. Vitek:
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments, in DROPS-IDN/v2/document/10.4230/LIPIcs.ECOOP.2024.27, 2024
DOI: 10.4230/LIPIcs.ECOOP.2024.27
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments, in DROPS-IDN/v2/document/10.4230/LIPIcs.ECOOP.2024.27, 2024
DOI: 10.4230/LIPIcs.ECOOP.2024.27
L. Parreaux, A. Boruch-Gruszecki, A. Fan, C. Chau:
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism, in When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact) 8(POPL), pp. 48:1418–48:1450, 2024
DOI: 10.1145/3632890
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism, in When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact) 8(POPL), pp. 48:1418–48:1450, 2024
DOI: 10.1145/3632890
T. Petříček, G. Burg, A. Nazábal, T. Ceritli, E. Jiménez-Ruiz, C. Williams:
AI Assistants: A Framework for Semi-Automated Data Wrangling, in IEEE Transactions on Knowledge and Data Engineering 35(9), pp. 9295-9306, 2023
DOI: 10.1109/TKDE.2022.3222538
AI Assistants: A Framework for Semi-Automated Data Wrangling, in IEEE Transactions on Knowledge and Data Engineering 35(9), pp. 9295-9306, 2023
DOI: 10.1109/TKDE.2022.3222538
A. Boruch-Gruszecki, M. Odersky, E. Lee, O. Lhoták, J. Brachthäuser:
Capturing Types, in ACM Trans. Program. Lang. Syst. 45(4), pp. 21:1–21:52, 2023
DOI: 10.1145/3618003
Capturing Types, in ACM Trans. Program. Lang. Syst. 45(4), pp. 21:1–21:52, 2023
DOI: 10.1145/3618003
P. Taylor-Gooby, T. Petříček, J. Cunliffe:
Covid19, Charitable Giving and Collectivism: a data-harvesting approach, in Journal of Social Policy 52(3), pp. 473-494, 2023
DOI: 10.1017/S0047279421000714
Covid19, Charitable Giving and Collectivism: a data-harvesting approach, in Journal of Social Policy 52(3), pp. 473-494, 2023
DOI: 10.1017/S0047279421000714
J. Edwards, T. Petříček, T. van der Storm:
Live & Local Schema Change: Challenge Problems, in , 2023
DOI: 10.48550/arXiv.2309.11406
Live & Local Schema Change: Challenge Problems, in , 2023
DOI: 10.48550/arXiv.2309.11406
M. Mehta, S. Krynski, H. Gualandi, M. Thakur, J. Vitek:
Reusing Just-in-Time Compiled Code, in Artifact of "Reusing Just-in-Time Compiled Code" 7(OOPSLA2), pp. 263:1176–263:1197, 2023
DOI: 10.1145/3622839
Reusing Just-in-Time Compiled Code, in Artifact of "Reusing Just-in-Time Compiled Code" 7(OOPSLA2), pp. 263:1176–263:1197, 2023
DOI: 10.1145/3622839
J. Jakubovic, J. Edwards, T. Petříček:
Technical Dimensions of Programming Systems, in The Art, Science, and Engineering of Programming 7(3), pp. 13:1-13:59, 2023
DOI: 10.22152/programming-journal.org/2023/7/13
Technical Dimensions of Programming Systems, in The Art, Science, and Engineering of Programming 7(3), pp. 13:1-13:59, 2023
DOI: 10.22152/programming-journal.org/2023/7/13
A. Boruch-Gruszecki, R. Waśko, Y. Xu, L. Parreaux:
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning, in Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning» 6(OOPSLA2), pp. 179:1526–179:1555, 2022
DOI: 10.1145/3563342
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning, in Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning» 6(OOPSLA2), pp. 179:1526–179:1555, 2022
DOI: 10.1145/3563342
J. Jakubovic, T. Petříček:
Ascending the ladder to self-sustainability, in To appear in Onward! 2022: Proceedings of the 2022 ACM SIGPLAN international symposium on new ideas, new paradigms, and reflections on programming and software, Auckland, New Zealand, December, 2022, 2022
Ascending the ladder to self-sustainability, in To appear in Onward! 2022: Proceedings of the 2022 ACM SIGPLAN international symposium on new ideas, new paradigms, and reflections on programming and software, Auckland, New Zealand, December, 2022, 2022
O. Flückiger, J. Ječmen, S. Krynski, J. Vitek:
Deoptless: speculation with dispatched on-stack replacement and specialized continuations, in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 749–761, 2022
ISBN: 978-1-4503-9265-5, DOI: 10.1145/3519939.3523729
Deoptless: speculation with dispatched on-stack replacement and specialized continuations, in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 749–761, 2022
ISBN: 978-1-4503-9265-5, DOI: 10.1145/3519939.3523729
J. Brachthäuser, P. Schuster, E. Lee, A. Boruch-Gruszecki:
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back, in Artifact of the paper "Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back" 6(OOPSLA1), pp. 76:1–76:30, 2022
DOI: 10.1145/3527320
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back, in Artifact of the paper "Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back" 6(OOPSLA1), pp. 76:1–76:30, 2022
DOI: 10.1145/3527320
J. Edwards, T. Petříček:
Interaction vs. Abstraction: Managed Copy and Paste, in Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, pp. 11–19, 2022
ISBN: 978-1-4503-9910-4, DOI: 10.1145/3563836.3568723
Interaction vs. Abstraction: Managed Copy and Paste, in Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, pp. 11–19, 2022
ISBN: 978-1-4503-9910-4, DOI: 10.1145/3563836.3568723
R. Perera, M. Nguyen, T. Petříček, M. Wang:
Linked visualisations via Galois dependencies, in Proceedings of the ACM on Programming Languages 6(POPL), pp. 7:1–7:29, 2022
DOI: 10.1145/3498668
Linked visualisations via Galois dependencies, in Proceedings of the ACM on Programming Languages 6(POPL), pp. 7:1–7:29, 2022
DOI: 10.1145/3498668
A. Turcotte, P. Donat-Bouillud, F. Křikava, J. Vitek:
signatr: A Data-Driven Fuzzing Tool for R, in Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, pp. 216–221, 2022
ISBN: 978-1-4503-9919-7, DOI: 10.1145/3567512.3567530
signatr: A Data-Driven Fuzzing Tool for R, in Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, pp. 216–221, 2022
ISBN: 978-1-4503-9919-7, DOI: 10.1145/3567512.3567530
T. Petříček:
The Gamma: Programmatic Data Exploration for Non-programmers, in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 1-7, 2022
DOI: 10.1109/VL/HCC53370.2022.9833134
The Gamma: Programmatic Data Exploration for Non-programmers, in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 1-7, 2022
DOI: 10.1109/VL/HCC53370.2022.9833134
T. Petříček:
Composable data visualizations, in Journal of Functional Programming 31, pp. e13, 2021
DOI: 10.1017/S0956796821000046
Composable data visualizations, in Journal of Functional Programming 31, pp. e13, 2021
DOI: 10.1017/S0956796821000046
T. Petříček:
Programming as architecture, design, and urban planning, in Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 114–124, 2021
ISBN: 978-1-4503-9110-8, DOI: 10.1145/3486607.3486770
Programming as architecture, design, and urban planning, in Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 114–124, 2021
ISBN: 978-1-4503-9110-8, DOI: 10.1145/3486607.3486770
J. Edwards, T. Petříček:
Typed Image-based Programming with Structure Editing, pre-print version available here.
Typed Image-based Programming with Structure Editing, pre-print version available here.
T. Petříček:
Foundations of a live data exploration environment, in The Art, Science, and Engineering of Programming 4(3), pp. 8:1-8:37, 2020
DOI: 10.22152/programming-journal.org/2020/4/8
Foundations of a live data exploration environment, in The Art, Science, and Engineering of Programming 4(3), pp. 8:1-8:37, 2020
DOI: 10.22152/programming-journal.org/2020/4/8
J. Jakubovic:
What it takes to create with domain-appropriate tools: reflections on implementing the “id” system, in Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming, pp. 197–207, 2020
ISBN: 978-1-4503-7507-8, DOI: 10.1145/3397537.3397549
What it takes to create with domain-appropriate tools: reflections on implementing the “id” system, in Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming, pp. 197–207, 2020
ISBN: 978-1-4503-7507-8, DOI: 10.1145/3397537.3397549
J. Edwards, S. Kell, T. Petříček, L. Church:
Evaluating programming systems design, in Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019
Evaluating programming systems design, in Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019
T. Petříček:
What we talk about when we talk about monads, in The Art, Science, and Engineering of Programming 2(3), pp. 12:1-12:27, 2018
DOI: 10.22152/programming-journal.org/2018/2/12
What we talk about when we talk about monads, in The Art, Science, and Engineering of Programming 2(3), pp. 12:1-12:27, 2018
DOI: 10.22152/programming-journal.org/2018/2/12
T. Petříček:
Data Exploration through Dot-driven Development, in 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 21:1–21:27, 2017
ISBN: 978-3-95977-035-4, DOI: 10.4230/LIPIcs.ECOOP.2017.21
Data Exploration through Dot-driven Development, in 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 21:1–21:27, 2017
ISBN: 978-3-95977-035-4, DOI: 10.4230/LIPIcs.ECOOP.2017.21
T. Petříček:
Miscomputation in software: Learning to live with errors, in The Art, Science, and Engineering of Programming 1(2), pp. 14:1-14:24, 2017
DOI: 10.22152/programming-journal.org/2017/1/14
Miscomputation in software: Learning to live with errors, in The Art, Science, and Engineering of Programming 1(2), pp. 14:1-14:24, 2017
DOI: 10.22152/programming-journal.org/2017/1/14
A. Mycroft, D. Orchard, T. Petříček:
Effect Systems Revisited—Control-Flow Algebra and Semantics, in Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 1-32, 2016
ISBN: 978-3-319-27810-0, DOI: 10.1007/978-3-319-27810-0_1
Effect Systems Revisited—Control-Flow Algebra and Semantics, in Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 1-32, 2016
ISBN: 978-3-319-27810-0, DOI: 10.1007/978-3-319-27810-0_1
T. Petříček:
Programming language theory: Thinking the unthinkable, in Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, pp. 31, 2016
Programming language theory: Thinking the unthinkable, in Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, pp. 31, 2016
T. Petříček, G. Guerra, D. Syme:
Types from data: making structured data first-class citizens in F#, in Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 477–490, 2016
ISBN: 978-1-4503-4261-2, DOI: 10.1145/2908080.2908115
Types from data: making structured data first-class citizens in F#, in Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 477–490, 2016
ISBN: 978-1-4503-4261-2, DOI: 10.1145/2908080.2908115
T. Petříček:
Against a universal definition of 'Type', in 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), pp. 254–266, 2015
ISBN: 978-1-4503-3688-8, DOI: 10.1145/2814228.2814249
Against a universal definition of 'Type', in 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), pp. 254–266, 2015
ISBN: 978-1-4503-3688-8, DOI: 10.1145/2814228.2814249
T. Petříček, D. Orchard, A. Mycroft:
Coeffects: a calculus of context-dependent computation, in Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 123–135, 2014
ISBN: 978-1-4503-2873-9, DOI: 10.1145/2628136.2628160
Coeffects: a calculus of context-dependent computation, in Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 123–135, 2014
ISBN: 978-1-4503-2873-9, DOI: 10.1145/2628136.2628160
D. Orchard, T. Petříček:
Embedding effect systems in Haskell, in Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 13–24, 2014
ISBN: 978-1-4503-3041-1, DOI: 10.1145/2633357.2633368
Embedding effect systems in Haskell, in Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 13–24, 2014
ISBN: 978-1-4503-3041-1, DOI: 10.1145/2633357.2633368
T. Petříček, D. Syme, Z. Bray:
In the Age of Web: Typed Functional-First Programming Revisited, in Proceedings ML Family/OCaml Users and Developers workshops, pp. 64–79, 2014
DOI: 10.4204/EPTCS.198.3
In the Age of Web: Typed Functional-First Programming Revisited, in Proceedings ML Family/OCaml Users and Developers workshops, pp. 64–79, 2014
DOI: 10.4204/EPTCS.198.3
T. Petříček, D. Syme:
The F# Computation Expression Zoo, in Practical Aspects of Declarative Languages, pp. 33-48, 2014
ISBN: 978-3-319-04132-2, DOI: 10.1007/978-3-319-04132-2_3
The F# Computation Expression Zoo, in Practical Aspects of Declarative Languages, pp. 33-48, 2014
ISBN: 978-3-319-04132-2, DOI: 10.1007/978-3-319-04132-2_3
T. Petříček, D. Orchard, A. Mycroft:
Coeffects: Unified Static Analysis of Context-Dependence, in Automata, Languages, and Programming, pp. 385-397, 2013
ISBN: 978-3-642-39212-2, DOI: 10.1007/978-3-642-39212-2_35
Coeffects: Unified Static Analysis of Context-Dependence, in Automata, Languages, and Programming, pp. 385-397, 2013
ISBN: 978-3-642-39212-2, DOI: 10.1007/978-3-642-39212-2_35
D. Syme, K. Battocchi, K. Takeda, D. Malayeri, T. Petříček:
Themes in information-rich functional programming for internet-scale data sources, in Proceedings of the 2013 workshop on Data driven functional programming, pp. 1–4, 2013
ISBN: 978-1-4503-1871-6, DOI: 10.1145/2429376.2429378
Themes in information-rich functional programming for internet-scale data sources, in Proceedings of the 2013 workshop on Data driven functional programming, pp. 1–4, 2013
ISBN: 978-1-4503-1871-6, DOI: 10.1145/2429376.2429378
T. Petříček, A. Mycroft, D. Syme:
Extending monads with pattern matching, in Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, pp. 1–12, 2011
DOI: 10.1145/2034675.2034677
Extending monads with pattern matching, in Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, pp. 1–12, 2011
DOI: 10.1145/2034675.2034677
T. Petříček, D. Syme:
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming, in Practical Aspects of Declarative Languages, pp. 205-219, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_17
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming, in Practical Aspects of Declarative Languages, pp. 205-219, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_17
D. Syme, T. Petříček, D. Lomov:
The F# Asynchronous Programming Model, in Practical Aspects of Declarative Languages, pp. 175-189, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_15
The F# Asynchronous Programming Model, in Practical Aspects of Declarative Languages, pp. 175-189, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_15
T. Petříček, D. Syme:
Collecting hollywood's garbage: avoiding space-leaks in composite events, in Proceedings of the 9th International Symposium on Memory Management, pp. 53–62, 2010
DOI: 10.1145/1806651.1806662
Collecting hollywood's garbage: avoiding space-leaks in composite events, in Proceedings of the 9th International Symposium on Memory Management, pp. 53–62, 2010
DOI: 10.1145/1806651.1806662