Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014 | 125 | 2014 |
The F# asynchronous programming model D Syme, T Petricek, D Lomov International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011 | 125 | 2011 |
Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 67 | 2013 |
Real World Functional Programming: With Examples in F# and C# T Petricek, J Skeet Manning Publications Co., 2009 | 57* | 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 | 45 | 2012 |
Embedding effect systems in Haskell D Orchard, T Petricek Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 13-24, 2014 | 43 | 2014 |
The F# computation expression zoo T Petricek, D Syme Practical Aspects of Declarative Languages: 16th International Symposium …, 2014 | 40 | 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 | 38 | 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 | 35 | 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 …, 2016 | 30 | 2016 |
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 |
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 | 19 | 2018 |
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 |
The semantic marriage of monads and effects D Orchard, T Petricek, A Mycroft arXiv preprint arXiv:1401.5391, 2014 | 15 | 2014 |
Syntax Matters: Writing abstract computations in F# T Petricek, D Syme Pre-proceedings of TFP (Trends in Functional Programming), St. Andrews, Scotland, 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 31st European Conference on Object-Oriented Programming (ECOOP 2017), 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 | 10 | 2017 |
Technical Dimensions of Programming Systems J Jakubovic, J Edwards, T Petricek The Art, Science, and Engineering of Programming 7, 13:1--13:59, 2023 | 8 | 2023 |
Context-aware programming languages T Petricek University of Cambridge, Computer Laboratory, 2017 | 8 | 2017 |