Takip et
Tomas Petricek
Tomas Petricek
Faculty of Mathematics and Physics, Charles University
d3s.mff.cuni.cz üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Coeffects: a calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ACM SIGPLAN Notices 49 (9), 123-135, 2014
1352014
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011
1292011
Coeffects: Unified static analysis of context-dependence
T Petricek, D Orchard, A Mycroft
International Colloquium on Automata, Languages, and Programming, 385-397, 2013
702013
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
462014
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
462012
The F# computation expression zoo
T Petricek, D Syme
Practical Aspects of Declarative Languages: 16th International Symposium …, 2014
412014
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
402016
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
372013
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
332015
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
212018
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
202011
Technical Dimensions of Programming Systems
J Jakubovic, J Edwards, T Petricek
The Art, Science, and Engineering of Programming 7, 13:1--13:59, 2023
192023
The semantic marriage of monads and effects
D Orchard, T Petricek, A Mycroft
arXiv preprint arXiv:1401.5391, 2014
172014
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
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
122022
Syntax Matters: Writing abstract computations in F#
T Petricek, D Syme
pre-proceedings of TFP, 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
ECOOP 2017, 21, 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
112017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20