Tomas Petricek

Cited by

	All	Since 2020
Citations	930	409
h-index	15	10
i10-index	21	13

120

20102011201220132014201520162017201820192020202120222023202420256 17 38 43 65 65 63 66 73 77 69 73 67 103 78 17

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Don SymeMicrosoft ResearchVerified email at microsoft.com
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
Alan MycroftProfessor of Computing, University of CambridgeVerified email at cl.cam.ac.uk
Kenji TakedaMicrosoft ResearchVerified email at microsoft.com
Jonathan EdwardsindependentVerified email at csail.mit.edu
Brooks PaigeAssociate Professor, University College LondonVerified email at ucl.ac.uk
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Taha CeritliSamsung Research UKVerified email at samsung.com
Chris WilliamsProfessor of Machine Learning, University of EdinburghVerified email at inf.ed.ac.uk
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKVerified email at city.ac.uk
Gerrit J.J. van den BurgApplied Scientist, Amazon AlexaVerified email at amazon.co.uk
Alan BlackwellProfessor of Interdisciplinary Design, University of CambridgeVerified email at cam.ac.uk
Stephen KellKing's College LondonVerified email at kcl.ac.uk
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Peter Taylor-GoobyProfessor of Social Policy, University of KentVerified email at kent.ac.uk
Jack CunliffeUniversity of KentVerified email at kent.ac.uk
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.ac.uk
Mariana MărășoiuPhD student at University of CambridgeVerified email at cl.cam.ac.uk
Pablo León-VillagráBrown UniversityVerified email at ed.ac.uk

Tomas Petricek

Faculty of Mathematics and Physics, Charles University

Verified email at d3s.mff.cuni.cz - Homepage

Programming systems Data science History of programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014	136	2014
The F# asynchronous programming model D Syme, T Petricek, D Lomov International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011	129	2011
Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft International Colloquium on Automata, Languages, and Programming, 385-397, 2013	71	2013
Real World Functional Programming: With Examples in F# and C# T Petricek, J Skeet Manning Publications Co., 2009	59*	2009
Embedding effect systems in Haskell D Orchard, T Petricek Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 13-24, 2014	46	2014
Strongly-typed language support for internet-scale information sources D Syme, K Battocchi, K Takeda, D Malayeri, J Fisher, J Hu, T Liu, ... Technical Report MSR-TR-2012–101, Microsoft Research, 2012	46	2012
The F# computation expression zoo T Petricek, D Syme Practical Aspects of Declarative Languages: 16th International Symposium …, 2014	41	2014
Types from data: Making structured data first-class citizens in F# T Petricek, G Guerra, D Syme Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016	40	2016
Themes in information-rich functional programming for internet-scale data sources D Syme, K Battocchi, K Takeda, D Malayeri, T Petricek Proceedings of the 2013 workshop on Data driven functional programming, 1-4, 2013	37	2013
Effect systems revisited—control-flow algebra and semantics A Mycroft, D Orchard, T Petricek Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and …, 2015	34	2015
What we talk about when we talk about monads T Petricek The Art, Science, and Engineering of Programming 2 (3), 12:1--12:27, 2018	21	2018
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming T Petricek, D Syme International Symposium on Practical Aspects of Declarative Languages, 205-219, 2011	21	2011
Technical Dimensions of Programming Systems J Jakubovic, J Edwards, T Petricek The Art, Science, and Engineering of Programming 7, 13:1--13:59, 2023	19	2023
The semantic marriage of monads and effects D Orchard, T Petricek, A Mycroft arXiv preprint arXiv:1401.5391, 2014	17	2014
Wrattler: Reproducible, live and polyglot notebooks T Petricek, J Geddes, C Sutton 10th USENIX workshop on the theory and practice of provenance (TaPP 2018), 2018	15	2018
Ai assistants: A framework for semi-automated data wrangling T Petricek, GJJ van Den Burg, A Nazábal, T Ceritli, E Jiménez-Ruiz, ... IEEE Transactions on Knowledge and Data Engineering 35 (9), 9295-9306, 2022	12	2022
Syntax Matters: Writing abstract computations in F# T Petricek, D Syme pre-proceedings of TFP, 2012	12	2012
Extending monads with pattern matching T Petricek, A Mycroft, D Syme ACM SIGPLAN Notices 46 (12), 1-12, 2011	12	2011
Data exploration through dot-driven development T Petricek ECOOP 2017, 21, 2017	11	2017
Miscomputation in software: Learning to live with errors T Petricek The Art, Science, and Engineering of Programming 1 (2), 14:1-14:24, 2017	11	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors