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
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
Practical Aspects of Declarative Languages: 13th International Symposium …, 2011
1212011
Coeffects: a calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ACM SIGPLAN Notices 49 (9), 123-135, 2014
1062014
Coeffects: Unified static analysis of context-dependence
T Petricek, D Orchard, A Mycroft
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
612013
Real World Functional Programming: With Examples in F# and C#
T Petricek, J Skeet
Manning Publications Co., 2009
52*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
442012
Embedding effect systems in Haskell
D Orchard, T Petricek
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 13-24, 2014
392014
The F# computation expression zoo
T Petricek, D Syme
Practical Aspects of Declarative Languages: 16th International Symposium …, 2014
392014
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
362016
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
242016
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
T Petricek, D Syme
Practical Aspects of Declarative Languages: 13th International Symposium …, 2011
222011
What we talk about when we talk about monads
T Petricek
The Art, Science, and Engineering of Programming 2 (3), 12, 2018
182018
The semantic marriage of monads and effects
D Orchard, T Petricek, A Mycroft
arXiv preprint arXiv:1401.5391, 2014
142014
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
132018
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), 2017
102017
Evaluation strategies for monadic computations
T Petricek
arXiv preprint arXiv:1202.2921, 2012
82012
Accelerator and F# (III.): Data-Parallel programs using F# quotations
T Petricek
Retrieved, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20