Tomas Petricek Coauthor index pubzone.org

Facets and more with CompleteSearch

University of Cambridge, UK

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek: Miscomputation in software: Learning to live with errors. CoRR abs/1703.10863 (2017)
2016
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mycroft, Dominic A. Orchard, Tomas Petricek: Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi 2016: 1-32
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Gustavo Guerra, Don Syme: Types from data: making structured data first-class citizens in F#. PLDI 2016: 477-490
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Gustavo Guerra, Don Syme: Types from data: Making structured data first-class citizens in F#. CoRR abs/1605.02941 (2016)
2015
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek: Against a universal definition of 'Type'. Onward! 2015: 254-266
2014
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominic A. Orchard, Tomas Petricek: Embedding effect systems in Haskell. Haskell 2014: 13-24
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Dominic A. Orchard, Alan Mycroft: Coeffects: a calculus of context-dependent computation. ICFP 2014: 123-135
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Don Syme: The F# Computation Expression Zoo. PADL 2014: 33-48
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Don Syme, Zach Bray: In the Age of Web: Typed Functional-First Programming Revisited. ML/OCaml 2014: 64-79
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominic A. Orchard, Tomas Petricek, Alan Mycroft: The semantic marriage of monads and effects. CoRR abs/1401.5391 (2014)
2013
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Dominic A. Orchard, Alan Mycroft: Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) 2013: 385-397
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek: Themes in information-rich functional programming for internet-scale data sources. DDFP 2013: 1-4
2012
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek: Evaluation strategies for monadic computations .MSFP 2012: 68-89
2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Alan Mycroft, Don Syme: Extending monads with pattern matching. Haskell 2011: 1-12
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon Syme, Tomas Petricek, Dmitry Lomov: The F# Asynchronous Programming Model. PADL 2011: 175-189
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Don Syme: Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. PADL 2011: 205-219
2010
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek, Don Syme: Collecting hollywood's garbage: avoiding space-leaks in composite events. ISMM 2010: 53-62
2009
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Petricek: Encoding Monadic Computations in C# Using Iterators. ITAT 2009: 61-69

Coauthor Index

1Keith Battocchi[c7]
2Zach Bray[c9]
3Gustavo Guerra[c14] [i2]
4Dmitry Lomov[c4]
5Donna Malayeri[c7]
6Alan Mycroft[c15] [c11] [i1] [c8] [c5]
7Dominic A. Orchard[c15] [c12] [c11] [i1] [c8]
8Don Syme[c14] [i2] [c10] [c9] [c7] [c5] [c4] [c3] [c2]
9Kenji Takeda[c7]

 

Last update 2017-05-28 23:03 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page