Παρακολούθηση
Tomas Petricek
Tomas Petricek
Faculty of Mathematics and Physics, Charles University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα d3s.mff.cuni.cz - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Coeffects: a calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ACM SIGPLAN Notices 49 (9), 123-135, 2014
1372014
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
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
712013
Real World Functional Programming: With Examples in F# and C#
T Petricek, J Skeet
Manning Publications Co., 2009
59*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
472012
Embedding effect systems in Haskell
D Orchard, T Petricek
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 13-24, 2014
462014
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
362013
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
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
202018
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
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
Context-aware programming languages
T Petricek
University of Cambridge, Computer Laboratory, 2017
122017
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
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
112022
Data exploration through dot-driven development
T Petricek
ECOOP 2017, 21, 2017
112017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20