Follow
Tomas Petricek
Tomas Petricek
Faculty of Mathematics and Physics, Charles University
Verified email at d3s.mff.cuni.cz - Homepage
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
1242014
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011
1232011
Coeffects: Unified static analysis of context-dependence
T Petricek, D Orchard, A Mycroft
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
662013
Real World Functional Programming: With Examples in F# and C#
T Petricek, J Skeet
Manning Publications Co., 2009
56*2009
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
452012
Embedding effect systems in Haskell
D Orchard, T Petricek
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 13-24, 2014
432014
The F# computation expression zoo
T Petricek, D Syme
Practical Aspects of Declarative Languages: 16th International Symposium …, 2014
402014
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
382016
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
352013
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 …, 2016
302016
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
212011
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
192018
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
152018
The semantic marriage of monads and effects
D Orchard, T Petricek, A Mycroft
arXiv preprint arXiv:1401.5391, 2014
152014
Syntax Matters: Writing abstract computations in F#
T Petricek, D Syme
Pre-proceedings of TFP (Trends in Functional Programming), St. Andrews, Scotland, 2012
122012
Extending monads with pattern matching
T Petricek, A Mycroft, D Syme
ACM SIGPLAN Notices 46 (12), 1-12, 2011
122011
Data exploration through dot-driven development
T Petricek
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
112017
Miscomputation in software: Learning to live with errors
T Petricek
The Art, Science, and Engineering of Programming 1 (2), 14:1-14:24, 2017
102017
Technical Dimensions of Programming Systems
J Jakubovic, J Edwards, T Petricek
The Art, Science, and Engineering of Programming 7, 13:1--13:59, 2023
82023
Context-aware programming languages
T Petricek
University of Cambridge, Computer Laboratory, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–20