Tomas Petricek — Citation Report

http://tomasp.net | tomas@tomasp.net

The citation report below is based on data from Web of Science. It lists 28 publications for which there are citations in one of the commonly used scientific databases (Web of Science, Scopus, Google Scholar). The report provides a detailed list of citations for 12 publications based on data from the Web of Science, listing in total 120 citing publications. The list excludes self-citations, i.e., citing papers co-authored by any of the paper authors.

For computer science publications, Web of Science is highly selective, so the report also includes citation numbers from Scopus (273 citations in total) and Google Scholar (684 citations in total) for the listed papers.

Total number of citations reported by commonly used scientific databases are 156 (146 excluding self) in WoS, 270 in Scopus and 876 in Google. The h-index values reported by those services are 6 by WoS, 8 by Schopus and 14 by Google. Details can be found in the attached reports.

Cited Publications

Tomas Petricek, Dominic Orchard and Alan Mycroft. Coeffects: A Calculus of Context Dependent Computation. ICFP '14: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 123-135, 10.1145/2628136.2628160, 2014

Number of Citations

Web of Science: 39 (29 excluding self)
Google Scholar: 131
Scopus: 64

Selected Citing Publications

  1. Edward Lee, Yaoyu Zhao, Ondrej Lhotak, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthauser. Qualifying System F<: Some Terms and Conditions May Apply. Proceedings of the ACM on Programming Languages (PACMPL), vol. 8, no. 115, 10.1145/3649832, 2024

  2. Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhotak, Jonathan Brachthaeuser. Capturing Types. ACM Transactions on Programming Languages And Systems, vol. 45, no. 21, 10.1145/3618003, 2023

  3. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. Resource-Aware Soundness for Big-Step Semantics. Proceedings of the ACM on Programming Languages (PACMPL), vol. 7, no. 267, 10.1145/3622843, 2023

  4. Andreas Abel, Nils Anders Danielsson, Oskar Eriksson. A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized. Proceedings of the ACM on Programming Languages (PACMPL), vol. 7, no. 220, 10.1145/36078620, 2023

  5. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. A Java-like calculus with heterogeneous coeffects. theoretical Computer Science, vol. 971, no. 114063, 10.1016/j.tcs.2023.114063, 2023

  6. Matias Toro, David Darais, Chike Abuah, Joseph P. Near, Damian Arquez, Federico Olmedo, Eric Tanter. Contextual Linear Types for Differential Privacy. ACM Transactions on Programming Languages And Systems, vol. 45, no. 8, 10.1145/3589207, 2023

  7. Danel Ahman. When Programs Have to Watch Paint Dry. Foundations of Software Science And Computation Structures, Fossacs 2023, vol. 13992, pp. 1-23, 10.1007/978-3-031-30829-1_1, 2023

  8. Francesco Gavazzo, Cecilia Di Florio. Elements of Quantitative Rewriting. Proceedings of the ACM on Programming Languages (PACMPL), vol. 7, no. POPL, 10.1145/3571256, 2023

  9. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto. Coeffects for Sharing and Mutation. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 156, 10.1145/3563319, 2022

  10. Pritam Choudhury. Monadic and Comonadic Aspects of Dependency Analysis. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 172, 10.1145/3563335, 2022

  11. Julian Grove, Jean-Philippe Bernardy. Algebraic Effects for Extensible Dynamic Semantics. Journal of Logic Language And Information, vol. 32, no. 2, pp. 219-245, 10.1007/s10849-022-09378-7, 2023

  12. Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted Programming A Programming Paradigm for Specifying Mathematical Models. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 66, 10.1145/3527310, 2022

  13. Jonathan Immanuel Brachthaeuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki. Effects, Capabilities, and Boxes From Scope-Based Reasoning to Type-Based Reasoning and Back. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 76, 10.1145/3527320, 2022

  14. Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich. Bounded Abstract Effects. ACM Transactions on Programming Languages And Systems, vol. 44, no. 5, 10.1145/3492427, 2022

  15. James Wood, Robert Atkey. A Framework for Substructural Type Systems. Programming Languages And Systems, Esop 2022, vol. 13240, pp. 376-402, 10.1007/978-3-030-99336-8_14, 2022

  16. Ugo Dal Lago, Francesco Gavazzo. A Relational Theory of Effects and Coeffects. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 31, 10.1145/3498692, 2022

  17. Guillaume Allais, Robert Atkey, James Chapman, Conor Mcbride, James Mckinna. A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Journal of Functional Programming, vol. 31, no. e22, 10.1017/S0956796820000076, 2021

  18. Hashan Punchihewa, Nicolas Wu. Safe Mutation with Algebraic Effects. Haskell `21: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, pp. 122-135, 10.1145/3471874.3472988, 2021

  19. Pritam Choudhury, III Harley Eades, Richard A. Eisenberg, Stephanie Weirich. A Graded Dependent Type System with a Usage-Aware Semantics. Proceedings of the ACM on Programming Languages (PACMPL), vol. 5, no. 50, 10.1145/3434331, 2021

  20. James Wood, Robert Atkey. A Linear Algebra Approach to Linear Metatheory. Electronic Proceedings In theoretical Computer Science, no. 353, pp. 195-212, 10.4204/EPTCS.353.10, 2021

  21. Jonathan Immanuel Brachthaeuser, Philipp Schuster, Klaus Ostermann. Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism. Proceedings of the ACM on Programming Languages (PACMPL), vol. 4, no. 126, 10.1145/3428194, 2020

  22. Andreas Abel, Jean-Philippe Bernardy. A Unified View of Modalities in Type Systems. Proceedings of the ACM on Programming Languages (PACMPL), vol. 4, no. 90, 10.1145/3408972, 2020

  23. Vikraman Choudhury, Neel Krishnaswami. Recovering Purity with Comonads and Capabilities. Proceedings of the ACM on Programming Languages (PACMPL), vol. 4, no. 111, 10.1145/3408993, 2020

  24. G. A. Kavvos. Modalities, Cohesion, and Information Flow. Proceedings of the ACM on Programming Languages (PACMPL), vol. 3, no. 20, 10.1145/3290333, 2019

  25. Andrew K. Hirsch, Ross Tate. Strict and Lazy Semantics for Effects. Proceedings of the ACM on Programming Languages (PACMPL), vol. 2, no. 88, 2018

  26. Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco. Context-Updates Analysis and Refinement in Chisel. Model Checking Software, Spin 2018, vol. 10869, pp. 328-346, 10.1007/978-3-319-94111-0_19, 2018

  27. Robert Atkey. Syntax and Semantics of Quantitative Type Theory. Lics'18: Proceedings of the 33rd Annual ACM/ieee Symposium on Logic In Computer Science, pp. 56-65, 10.1145/3209108.3209189, 2018

  28. Andrew K. Hirsch, Ross Tate. Strict and Lazy Semantics for Effects Layering Monads and Comonads. Proceedings of the ACM on Programming Languages, no. 88, 10.1145/3236783, 2018

  29. Tarmo Uustalu, Niels Voorneveld. Algebraic and Coalgebraic Perspectives on Interaction Laws. Programming Languages And Systems, Aplas 2020, vol. 12470, pp. 186-205, 10.1007/978-3-030-64437-6_10, 2020

Don Syme, Tomas Petricek and Dmitry Lomov. The F# Asynchronous Programming Model. PADL'11: Proceedings of the 13th international conference on Practical aspects of declarative languages, pp. 175-189, 10.1007/978-3-642-18378-2_15, 2011

Number of Citations

Web of Science: 38 (36 excluding self)
Google Scholar: 128
Scopus: 57

Selected Citing Publications

  1. Marjan Asgari, Wanhong Yang, John Lindsay, Hui Shao, Yongbo Liu, Rodrigo De Queiroga Miranda, Maryam Mehri Dehnavi. Development of a knowledge-sharing parallel computing approach for calibrating distributed watershed hydrologic models. Environmental Modelling & Software, vol. 164, no. 105708, 10.1016/j.envsoft.2023.105708, 2023

  2. Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata. Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. PeerJ Computer Science, vol. 9, no. e1284, 10.7717/peerj-cs.1284, 2023

  3. Carlos Tome Cortinas, Marco Vassena, Alejandro Russo. Securing Asynchronous Exceptions. 2020 IEEE 33rd Computer Security Foundations Symposium (CSF 2020), pp. 214-229, 10.1109/CSF49147.2020.00023, 2020

  4. Thomas Heller, Bryce Adelstein Lelbach, Kevin A. Huck, John Biddiscombe, Patricia Grubel, Alice E. Koniges, Matthias Kretz, Dominic Marcello, David Pfander, Adrian Serio, Juhan Frank, Geoffrey C. Clayton, Dirk Pflueger, David Eder, Hartmut Kaiser. Harnessing billions of tasks for a scalable portable hydrodynamic simulation of the merger of two stars. International Journal of High Performance Computing Applications, vol. 33, no. 4, pp. 699-715, 10.1177/1094342018819744, 2019

  5. Bruce Belson, Jason Holdsworth, Wei Xiang, Bronson Philippa. A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems. ACM Transactions on Embedded Computing Systems, vol. 18, no. 21, 10.1145/3319618, 2019

  6. Jingpu Duan, Xiaodong Yi, Junjie Wang, Chuan Wu, Franck Le. NetStar: A Future/Promise Framework for Asynchronous Network Functions. IEEE Journal on Selected Areas In Communications, vol. 37, no. 3, pp. 600-612, 10.1109/JSAC.2019.2894303, 2019

  7. Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek. A survey of real-time capabilities in functional languages and compilers. Concurrency And Computation-practice & Experience, vol. 31, no. e4902, 10.1002/cpe.4902, 2019

  8. Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini. Versatile Event Correlation with Algebraic Effects. Proceedings of the ACM on Programming Languages (PACMPL), vol. 2, no. 67, 10.1145/3236762, 2018

  9. Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White. Concurrent System Programming with Effect Handlers. Trends In Functional Programming (TFP 2017), vol. 10788, pp. 98-117, 10.1007/978-3-319-89719-6_6, 2018

  10. Ping Song, Yi Liu, Chi Liu, Depei Qian. ParaFlow: Fine-grained parallel SDN controller for large-scale networks. Journal of Network And Computer Applications, vol. 87, pp. 46-59, 10.1016/j.jnca.2017.03.009, 2017

  11. Mohamed A. El-Zawawy. Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs. Computational Science And Its Applications - Iccsa 2017, Pt Vi, vol. 10409, pp. 233-245, 10.1007/978-3-319-62407-5_16, 2017

  12. Oscar Medina Duarte, Reinhard Hametner. Asynchronous Programming with Futures in C on a Safety-Critical Platform in the Railway-Control Domain. 2017 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), ISBN 978-1-5090-6505-9, 2017

  13. Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook. OrcO: A Concurrency-First Approach to Objects. ACM SIGPLAN Notices, vol. 51, no. 10, pp. 548-567, 10.1145/3022671.2984022, 2016

  14. Alessandro Ricci. Programming with event loops and control loops - From actors to agents. Computer Languages Systems & Structures, vol. 45, pp. 80-104, 10.1016/j.cl.2015.12.003, 2016

  15. Loic Denuziere, Adam Granicz. Enabling Modular Persistence for Reactive Data Models in F# Client-Server Web Applications. Companion Proceedings of the 15th International Conference on Modularity (MODULARITY COMPANION'16), pp. 55-64, 10.1145/2892664.2892672, 2016

  16. Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain. ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. Coordination Models And Languages, vol. 9686, pp. 101-120, 10.1007/978-3-319-39519-7_7, 2016

  17. Heather Miller, Philipp Haller, Normen Mueller, Jocelyn Boullier. Function Passing: A Model for Typed, Distributed Functional Programming. onward!'16: Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, And Reflections on Programming And Software, pp. 82-97, 10.1145/2986012.2986014, 2016

  18. Danny Dig. Refactoring for Asynchronous Execution on Mobile Devices. IEEE Software, vol. 32, no. 6, pp. 52-61, 10.1109/MS.2015.133, 2015

  19. Mohamed A. El-Zawawy. A Robust Framework for Asynchronous Operations on a Functional Object-Oriented Model. 2015 International Conference on Cloud Computing (ICCC), pp. 15-20, ISBN 978-1-4673-6618-2, 2015

  20. Mohamed A. El-Zawawy. An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS). 2015 15th International Conference on Computational Science And Its Applications (ICCSA), pp. 14-20, 10.1109/ICCSA.2015.9, 2015

  21. Semih Okur. Understanding, Refactoring, and Fixing Concurrency in C#. 2015 30th IEEE/acm International Conference on Automated Software Engineering (ASE), pp. 898-901, 10.1109/ASE.2015.82, 2015

  22. Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy. There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access. ACM SIGPLAN Notices, vol. 49, no. 9, pp. 325-337, 10.1145/2692915.2628144, 2014

  23. Louis Mandel, Cedric Pasteur. Reactivity of Cooperative Systems Application to ReactiveML. Static Analysis (SAS 2014), vol. 8723, pp. 219-236, ISBN 978-3-319-10936-7; 978-3-319-10935-0, 2014

  24. Alessandro Ricci, Andrea Santi. From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL. Concurrent Objects And Beyond: Papers Dedicated To Akinori Yonezawa on the Occasion of His 65th Birthday, vol. 8665, pp. 408-445, ISBN 978-3-662-44471-9; 978-3-662-44470-2, 2014

  25. Semih Okur, David L. Hartveld, Danny Dig, Arie van Deursen. A Study and Toolkit for Asynchronous Programming in C#. 36th International Conference on Software Engineering (ICSE 2014), pp. 1117-1127, 10.1145/2568225.2568309, 2014

  26. Alex Muscar. Programming Safe Agents in Blueprint. 4th International Conference on Web Intelligence, Mining And Semantics, 10.1145/2611040.2611098, 2014

  27. Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy. There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access. Icfp'14: Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming, pp. 325-337, 10.1145/2628136.2628144, 2014

  28. Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi. QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines. Pepm `14: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation And Program Manipulation, pp. 83-94, 10.1145/2543728.2543733, 2014

  29. Michael Sperber, Anil Madhavapeddy. Commercial users of functional programming workshop report. Journal of Functional Programming, vol. 23, no. 6, pp. 701-712, 10.1017/S0956796813000257, 2013

  30. Daniele Bonetta, Walter Binder, Cesare Pautasso. TigerQuoll: Parallel Event-based JavaScript. ACM SIGPLAN Notices, vol. 48, no. 8, pp. 251-260, 10.1145/2517327.2442541, 2013

  31. Alex Muscar. Extending Jason with Promises for Concurrent Computation. Intelligent Distributed Computing Vi, vol. 446, pp. 41-50, ISBN 978-3-642-32524-3, 2013

  32. Sebastien Bocq, Koen Daenen. Molecule: Using Monadic and Streaming I/O to Compose Process Networks on the JVM. ACM SIGPLAN Notices, vol. 47, no. 10, pp. 315-334, 10.1145/2398857.2384640, 2012

  33. Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan R. Newton. A Meta-Scheduler for the Par-Monad Composable Scheduling for the Heterogeneous Cloud. ACM SIGPLAN Notices, vol. 47, no. 9, pp. 235-246, 10.1145/2398856.2364562, 2012

  34. Albert Cohen, Leonard Gerard, Marc Pouzet. Programming Parallelism with Futures in Lustre. EMSOFT `12: Proceedings of the Tenth Amc International Conference on Embedded Software 2012, pp. 197-206, ISBN 978-1-4503-1425-1, 2012

  35. Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen. Pause `n' Play: Formalizing Asynchronous C#. ECOOP 2012 - Object-oriented Programming, vol. 7313, pp. 233-257, ISBN 978-3-642-31057-7; 978-3-642-31056-0, 2012

  36. Lukas Rytz, Martin Odersky, Philipp Haller. Lightweight Polymorphic Effects. ECOOP 2012 - Object-oriented Programming, vol. 7313, pp. 258-282, ISBN 978-3-642-31057-7; 978-3-642-31056-0, 2012

Tomas Petricek, Dominic Orchard and Alan Mycroft. Coeffects: Unified Static Analysis of Context-Dependence. ICALP'13: Proceedings of the 40th International Conference on Automata, Languages, and Programming, Part II, pp. 385-397, 10.1007/978-3-642-39212-2_35, 2013

Number of Citations

Web of Science: 28 (17 excluding self)
Google Scholar: 68
Scopus: 33

Selected Citing Publications

  1. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. Resource-Aware Soundness for Big-Step Semantics. Proceedings of the ACM on Programming Languages (PACMPL), vol. 7, no. 267, 10.1145/3622843, 2023

  2. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. A Java-like calculus with heterogeneous coeffects. theoretical Computer Science, vol. 971, no. 114063, 10.1016/j.tcs.2023.114063, 2023

  3. Danel Ahman. When Programs Have to Watch Paint Dry. Foundations of Software Science And Computation Structures, Fossacs 2023, vol. 13992, pp. 1-23, 10.1007/978-3-031-30829-1_1, 2023

  4. Silvio Capobianco, Tarmo Uustalu. Additive Cellular Automata Graded-Monadically. Proceedings of the 25th International Symposium on Principles And Practice of Declarative Programming, Ppdp 2023, no. 13, 10.1145/3610612.3610625, 2023

  5. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto. Coeffects for Sharing and Mutation. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 156, 10.1145/3563319, 2022

  6. Pritam Choudhury. Monadic and Comonadic Aspects of Dependency Analysis. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 172, 10.1145/3563335, 2022

  7. Yoji Fukihara, Shin-ya Katsumata. Generalized Bounded Linear Logic and its Categorical Semantics. Foundations of Software Science And Computation Structures, Fossacs 2021, vol. 12650, pp. 226-246, 10.1007/978-3-030-71995-1_12, 2021

  8. Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann. A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages (PACMPL), vol. 5, no. 27, 10.1145/3434308, 2021

  9. Ezgi Cicek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg. Bidirectional Type Checking for Relational Properties. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design And Implementation (PLDI `19), pp. 533-547, 10.1145/3314221.3314603, 2019

  10. Andrew K. Hirsch, Ross Tate. Strict and Lazy Semantics for Effects. Proceedings of the ACM on Programming Languages (PACMPL), vol. 2, no. 88, 2018

  11. Shin-ya Katsumata. A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. Foundations of Software Science And Computation Structures, Fossacs 2018, vol. 10803, pp. 110-127, 10.1007/978-3-319-89366-2_6, 2018

  12. Andrew K. Hirsch, Ross Tate. Strict and Lazy Semantics for Effects Layering Monads and Comonads. Proceedings of the ACM on Programming Languages, no. 88, 10.1145/3236783, 2018

  13. Leo Osvald, Gregory Essertel, Xilun Wu, Lilliam I. Gonzalez-Alayon, Tiark Rompf. Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect. ACM SIGPLAN Notices, vol. 51, no. 10, pp. 234-251, 10.1145/3022671.2984009, 2016

  14. Soichiro Fujii, Shin-ya Katsumata, Paul-Andre Mellies. Towards a Formal Theory of Graded Monads. Foundations of Software Science And Computation Structures (FOSSACS 2016), vol. 9634, pp. 513-530, 10.1007/978-3-662-49630-5_30, 2016

  15. Ravi Chugh. ISOLATE: A Type System for Self-recursion. Programming Languages And Systems, vol. 9032, pp. 257-282, 10.1007/978-3-662-46669-8_11, 2015

  16. Alois Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic. A Core Quantitative Coeffect Calculus. Programming Languages And Systems, vol. 8410, pp. 351-370, ISBN 978-3-642-54833-8; 978-3-642-54832-1, 2014

  17. Shin-ya Katsumata. Parametric Effect Monads and Semantics of Effect Systems. ACM SIGPLAN Notices, vol. 49, no. 1, pp. 633-645, 10.1145/2535838.2535846, 2014

Dominic Orchard and Tomas Petricek. Embedding Effect Systems in Haskell. Haskell '14: Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 13-24, doi.org/10.1145/2633357.2633368, 2014

Number of Citations

Web of Science: 18 (14 excluding self)
Google Scholar: 44
Scopus: 2

Selected Citing Publications

  1. Matthew Lutze, Magnus Madsen. Associated Effects Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages (PACMPL), vol. 8, no. 163, 10.1145/3656393, 2024

  2. Chike Abuah, David Darais, Joseph P. Near. SOLO: A Lightweight Static Analysis for Differential Privacy. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 150, 10.1145/3563313, 2022

  3. Finnbar Keating, Michael B. Gale. Graded Monads and Type-Level Programming for Dependence Analysis. Haskell `21: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, pp. 27-40, 10.1145/3471874.3472981, 2021

  4. Hashan Punchihewa, Nicolas Wu. Safe Mutation with Algebraic Effects. Haskell `21: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, pp. 122-135, 10.1145/3471874.3472988, 2021

  5. Ivan Perez, Alwyn E. Goodloe. Fault-tolerant functional reactive programming (extended version). Journal of Functional Programming, vol. 30, no. e12, 10.1017/S0956796820000118, 2020

  6. Anne Baanen, Wouter Swierstra. Combining predicate transformer semantics for effects: a case study in parsing regular languages. Electronic Proceedings In theoretical Computer Science, no. 317, pp. 39-56, 10.4204/EPTCS.317.3, 2020

  7. Isaac Oscar Gariano, James Noble, Marco Servetto. Callε: An Effect System for Method Calls. Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, And Reflections on Programming And Software (ONWARD!' 19), pp. 32-45, 10.1145/3359591.3359731, 2019

  8. Ivan Perez. Fault Tolerant Functional Reactive Programming (Functional Pearl). Proceedings of the ACM on Programming Languages (PACMPL), vol. 2, no. 96, 10.1145/3236791, 2018

  9. Ivan Perez. Fault Tolerant Functional Reactive Programming (Functional Pearl). Proceedings of the ACM on Programming Languages, no. 96, 10.1145/3236791, 2018

  10. Atze van der Ploeg, Koen Claessen, Pablo Buiras. The Key Monad: Type-Safe Unconstrained Dynamic Typing. ACM SIGPLAN Notices, vol. 51, no. 12, pp. 146-157, 10.1145/3241625.2976008, 2016

  11. Jan Bracker, Henrik Nilsson. Supermonads One Notion to Bind Them All. ACM SIGPLAN Notices, vol. 51, no. 12, pp. 158-169, 10.1145/3241625.2976012, 2016

  12. Bram Geron, Paul Blain Levy. Iteration and Labelled Iteration. Electronic Notes In theoretical Computer Science, vol. 325, pp. 127-146, 10.1016/j.entcs.2016.09.035, 2016

  13. Ismael Figueroa, Nicolas Tabareau, Eric Tanter. Effect capabilities for Haskell: Taming effect interference in monadic programming. Science of Computer Programming, vol. 119, pp. 3-30, 10.1016/j.scico.2015.11.010, 2016

  14. Adam Gundry. A Typechecker Plugin for Units of Measure Domain-Specific Constraint Solving in GHC Haskell. ACM SIGPLAN Notices, vol. 50, no. 12, pp. 11-22, 10.1145/2804302.2804305, 2015

Alan Mycroft, Dominic Orchard and Tomas Petricek. Effect Systems Revisited – Control-Flow Algebra and Semantics. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays on Semantics, Logics, and Calculi, vol. 9560, pp. 1-32, 10.1007/978-3-319-27810-0_1, 2015

Number of Citations

Web of Science: 12 (7 excluding self)
Google Scholar: 32
Scopus: 19

Selected Citing Publications

  1. Fernando Liu Lopez, Chelsea Walton. Twists of graded algebras in monoidal categories. Journal of Algebra, vol. 661, pp. 301-340, 10.1016/j.jalgebra.2024.07.051, 2025

  2. Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proceedings of the ACM on Programming Languages (PACMPL), vol. 8, no. 203, 10.1145/3656433, 2024

  3. Julian Grove, Jean-Philippe Bernardy. Algebraic Effects for Extensible Dynamic Semantics. Journal of Logic Language And Information, vol. 32, no. 2, pp. 219-245, 10.1007/s10849-022-09378-7, 2023

  4. Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu. Flexible Presentations of Graded Monads. Proceedings of the ACM on Programming Languages (PACMPL), vol. 6, no. 123, 10.1145/3547654, 2022

  5. Dylan McDermott, Tarmo Uustalu. Flexibly Graded Monads and Graded Algebras. Mathematics of Program Construction (mpc 2022, vol. 13544, pp. 102-128, 10.1007/978-3-031-16912-0_4, 2022

  6. Colin S. Gordon. Polymorphic Iterable Sequential Effect Systems. ACM Transactions on Programming Languages And Systems, vol. 43, no. 4, 10.1145/3450272, 2021

  7. Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves, Deepak Singh. A survey on network forwarding in Software-Defined Networking. Journal of Network And Computer Applications, vol. 176, no. 102947, 10.1016/j.jnca.2020.102947, 2021

Tomas Petricek, Don Syme and Gustavo Guerra. Types from Data: Making Structured Data First-class Citizens in F#. PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 477-490, 10.1145/2908080.2908115, 2016

Number of Citations

Web of Science: 9 (8 excluding self)
Google Scholar: 39
Scopus: 2

Selected Citing Publications

  1. Fernando Cristiani, Peter Thiemann. Generation of TypeScript Declaration Files from JavaScript Code. Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages And Runtimes (MPLR `2021), pp. 97-112, 10.1145/3475738.3480941, 2021

  2. Sara Bonfitto, Luca Cappelletti, Fabrizio Trovato, Giorgio Valentini, Marco Mesiti. Semi-automatic Column Type Inference for CSV Table Understanding. Sofsem 2021: theory And Practice of Computer Science, vol. 12607, pp. 535-549, 10.1007/978-3-030-67731-2_39, 2021

  3. Nadeem Abdul Hamid. Lightweight Automated Structure Inference and Binding of Data Sources to Predefined Data Types. ACMse 2020: Proceedings of the 2020 ACM Southeast Conference, pp. 71-78, 10.1145/3374135.3385284, 2020

  4. Lionel Parreaux, Amir Shaikhha. Multi-stage Programming in the Large with Staged Classes. Gpce `2020: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts And Experiences, pp. 35-49, 10.1145/3425898.3426961, 2020

  5. Luis Caires, Bernardo Toninho. Refinement Kinds Type-Safe Programming with Practical Type-Level Computation. Proceedings of the ACM on Programming Languages (PACMPL), vol. 3, no. 131, 10.1145/3360557, 2019

  6. Daisuke Yamaguchi, Kimio Kuramitsu. CPEG: A Typed Tree Construction from Parsing Expression Grammars with Regex-Like Captures. Sac `19: Proceedings of the 34th ACM/sigapp Symposium on Applied Computing, pp. 1526-1533, 10.1145/3297280.3297433, 2019

  7. Jan de Muijnck-Hughes, Wim Vanderbauwhede, Edwin Brady. Value-Dependent Session Design in a Dependently Typed Language. Electronic Proceedings In theoretical Computer Science, no. 291, pp. 47-59, 10.4204/EPTCS.291.5, 2019

  8. Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal. A Session Type Provider Compile-Time API Generation of Distributed Protocols with Refinements in F#. Cc'18: Proceedings of the 27th International Conference on Compiler Construction, pp. 128-138, 10.1145/3178372.3179495, 2018

Tomas Petricek. Evaluation Strategies for Monadic Computations. MSFP '12: Proceedings of International Workshop on Mathematically Structured Functional Programming, arXiv:1202.2921, 2012

Number of Citations

Web of Science: 2 (2 excluding self)
Google Scholar: 8
Scopus: 3

Selected Citing Publications

  1. Kai-Oliver Prott, Finn Teegen, Jan Christiansen. Embedding Functional Logic Programming in Haskell via a Compiler Plugin. Practical Aspects of Declarative Languages, Padl 2023, vol. 13880, pp. 37-55, 10.1007/978-3-031-24841-2_3, 2023

  2. Yao Li, Li-yao Xia, Stephanie Weirich. Reasoning about the Garden of Forking Paths. Proceedings of the ACM on Programming Languages (PACMPL), vol. 5, no. 80, 10.1145/3473585, 2021

Peter Taylor-Gooby, Tomas Petricek, Jack Cunliffe. Covid-19, Charitable Giving and Collectivism: A Data-Harvesting Approach. Journal of Social Policy, vol. 52, issue 3, pp. 473-494, Cambridge University Press (IF: 1.9), 10.1017/S0047279421000714, 2023

Number of Citations

Web of Science: 2 (2 excluding self)
Google Scholar: 3
Scopus: 1

Selected Citing Publications

  1. Jeannette Mai Dinh, Andrew Jay Isaak, Marius Claus Wehner. Sustainability-oriented crowdfunding: An integrative literature review. Journal of Cleaner Production, vol. 448, no. 141579, 10.1016/j.jclepro.2024.141579, 2024

  2. David Clifford, Diarmuid McDonnell, John Mohan. Charities' income during the COVID-19 pandemic: administrative evidence for England and Wales. Journal of Social Policy, no. PII S0047279422001015, 10.1017/S0047279422001015, 2023

Tomas Petricek, Alan Mycroft and Don Syme. Extending Monads with Pattern Matching. Haskell '11: Proceedings of the 4th ACM symposium on Haskell, pp. 1-12, 10.1145/2034675.2034677, 2011

Number of Citations

Web of Science: 2 (2 excluding self)
Google Scholar: 12
Scopus: 5

Selected Citing Publications

  1. Baltasar Trancon y Widemann, Markus Lepper. Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming Research Paper. Trends In Functional Programming (TFP 2015), vol. 9547, pp. 85-103, 10.1007/978-3-319-39110-6_5, 2016

  2. Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen. Heuristics Entwined with Handlers Combined From Functional Specification to Logic Programming Implementation. Ppdp'14: Proceedings of the 16th International Symposium on Principles And Practice of Declarative Programming, pp. 259-270, 10.1145/2643135.2643145, 2014

Tomas Petricek. Composable Data Visualizations. Journal of Functional Programming, vol. 31, e. 13, Cambridge University Press (IF: 1.1), 10.1017/S0956796821000046, 2021

Number of Citations

Web of Science: 1 (1 excluding self)
Google Scholar: 1
Scopus: 1

Selected Citing Publications

  1. Mladen Sverko, Tihana Galinac Grbac. Automated HMI design as a custom feature in industrial SCADA systems. 5th International Conference on Industry 4.0 And Smart Manufacturing, Ism 2023, vol. 232, pp. 1789-1798, 10.1016/j.procs.2024.02.001, 2024

Roly Perera, Minh Nguyen, Tomas Petricek and Meng Wang. Linked Visualisations via Galois Dependencies. Proceedings of the ACM on Programming Languages, vol. 6 (POPL), pp. 1-29 (IF: 1.8), 10.1145/3498668, 2022

Number of Citations

Web of Science: 1 (1 excluding self)
Google Scholar: 4
Scopus: 2

Selected Citing Publications

  1. Wei Zhang, Feng Qiu, Suzhen Wang, Hao Zeng, Zhimeng Zhang, Rudong An, Bowen Ma, Yu Ding. Transformer-based Multimodal Information Fusion for Facial Expression Analysis. 2022 IEEE/cvf Conference on Computer Vision And Pattern Recognition Workshops, Cvprw 2022, pp. 2427-2436, 10.1109/CVPRW56347.2022.00271, 2022

Tomas Petricek, Gerrit J. J. van Den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz and Christopher K. I. Williams. AI Assistants: A Framework for Semi-Automated Data Wrangling. IEEE Transactions on Knowledge and Data Engineering, vol. 35, issue 9, pp. 9295-9306 (IF: 8.9), 10.1109/TKDE.2022.3222538, 2023

Number of Citations

Web of Science: 1 (1 excluding self)
Google Scholar: 6
Scopus: 2

Selected Citing Publications

  1. Abdullah Almasaud, Sandra Sampaio, Pedro Sampaio. Mining Data Wrangling Workflows for Design Patterns Discovery and Specification. Information Systems Frontiers, 10.1007/s10796-023-10458-7, 2024

Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church. Evaluating Programming Systems Design. PPIG '19: Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, https://ppig.org/papers/2019-ppig-30th-edwards, 2019

Number of Citations

Google Scholar: 8

Joel Jakubovic, Jonathan Edwards, Tomas Petricek. Technical Dimensions of Programming Systems. PLoP '21: Presented at 28th Conference on Pattern Languages of Programs, Fall, 2021

Number of Citations

Google Scholar: 10
Scopus: 4

Tomas Petricek. Data Exploration Through Dot-Driven Development. ECOOP '17: European Conference on Object-Oriented Programming. Associated software artifact has been evaluated and archived in DARTS, vol. 3, no. 2, pp. 12:1–12:2, 2017, 10.4230/LIPIcs.ECOOP.2017.21, 2017

Number of Citations

Google Scholar: 11
Scopus: 4

Tomas Petricek. The Gamma: Programmatic Data Exploration for Non-programmers. VL/HCC '22: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 10.1109/VL/HCC53370.2022.9833134, 2022

Number of Citations

Google Scholar: 4
Scopus: 1

Tomas Petricek. Miscomputation in software development: Learning to live with errors. The Art, Science and Engineering of Programming, vol. 1, issue 2, no. 14, 10.22152/programming-journal.org/2017/1/14, 2017

Number of Citations

Google Scholar: 10
Scopus: 4

Tomas Petricek. What we talk about when we talk about monads. The Art, Science and Engineering of Programming, vol. 2, issue 3, no. 12, 10.22152/programming-journal.org/2018/2/12, 2018

Number of Citations

Google Scholar: 20
Scopus: 5

Tomas Petricek. Foundations of a live data exploration environment. The Art, Science and Engineering of Programming, vol. 4, issue 3, no. 8, 10.22152/programming-journal.org/2020/4/8, 2020

Number of Citations

Google Scholar: 6
Scopus: 5

Tomas Petricek and Don Syme. Collecting Hollywood's Garbage: Avoiding Space-Leaks in Composite Events. ISMM '10: Proceedings of the 2010 International Symposium on Memory Management, pp. 53-62, 10.1145/1806651.1806662, 2010

Number of Citations

Google Scholar: 6
Scopus: 1

Tomas Petricek and Don Syme. Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. PADL'11: Proceedings of the 13th International Conference on Practical Aspects of Declarative Languages, pp. 205-219, 10.1007/978-3-642-18378-2_17, 2011

Number of Citations

Google Scholar: 21
Scopus: 9

Don Syme, Keith Battocchi, Kenji Takeda, Dona Malayeri and Tomas Petricek. Themes in Information-Rich Functional Programming for Internet-Scale Data Sources. DDFP '13: Proceedings of the 2013 Workshop on Data Driven Functional Programming, pp. 1-4, 10.1145/2429376.2429378, 2013

Number of Citations

Google Scholar: 35
Scopus: 19

Tomas Petricek and Don Syme. The F# Computation Expression Zoo. PADL 2014: Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, vol. 8324, pp. 33-48, 10.1007/978-3-319-04132-2_3, 2014

Number of Citations

Google Scholar: 38
Scopus: 13

Tomas Petricek. Against a Universal Definition of 'Type'. Onward! '15: Proceedings of the 2015 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 254-266, 10.1145/2814228.2814249, 2015

Number of Citations

Google Scholar: 6
Scopus: 2

Tomas Petricek, James Geddes and Charles Sutton. Wrattler: Reproducible, Live and Polyglot Notebooks. TaPP '18: Proceedings of the 10th USENIX Conference on Theory and Practice of Provenance, pp. 1-6, 2018

Number of Citations

Google Scholar: 15
Scopus: 10

Tomas Petricek. Programming as Architecture, Design, and Urban Planning. Onward! '21: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 114-124, 10.1145/3486607.3486770, 2021

Number of Citations

Google Scholar: 1
Scopus: 1

Joel Jakubovic and Tomas Petricek. Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. Onward! '22: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 240-258, 10.1145/3563835.3568736, 2022

Number of Citations

Google Scholar: 1

Joel Jakubovic, Jonathan Edwards and Tomas Petricek. Technical Dimensions of Programming Systems. The Art, Science, and Engineering of Programming, vol. 7, issue 3, no. 13, 10.22152/programming-journal.org/2023/7/13, 2023

Number of Citations

Google Scholar: 16
Scopus: 4