BibTeX records: Tomas Petricek

download as .bib file

@inproceedings{DBLP:conf/birthday/MycroftOP16,
  author    = {Alan Mycroft and
               Dominic A. Orchard and
               Tomas Petricek},
  title     = {Effect Systems Revisited - Control-Flow Algebra and Semantics},
  booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
               and Flemming Nielson on the Occasion of Their 60th Birthdays},
  pages     = {1--32},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016nielson},
  url       = {http://dx.doi.org/10.1007/978-3-319-27810-0_1},
  doi       = {10.1007/978-3-319-27810-0_1},
  timestamp = {Tue, 12 Jan 2016 15:59:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/MycroftOP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PetricekGS16,
  author    = {Tomas Petricek and
               Gustavo Guerra and
               Don Syme},
  title     = {Types from data: making structured data first-class citizens in F{\#}},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {477--490},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {http://doi.acm.org/10.1145/2908080.2908115},
  doi       = {10.1145/2908080.2908115},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/PetricekGS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/PetricekGS16,
  author    = {Tomas Petricek and
               Gustavo Guerra and
               Don Syme},
  title     = {Types from data: Making structured data first-class citizens in F{\#}},
  journal   = {CoRR},
  volume    = {abs/1605.02941},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.02941},
  timestamp = {Wed, 01 Jun 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/PetricekGS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Petricek15,
  author    = {Tomas Petricek},
  title     = {Against a universal definition of 'Type'},
  booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
               Reflections on Programming and Software, Onward! 2015, Pittsburgh,
               PA, USA, October 25-30, 2015},
  pages     = {254--266},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015onward},
  url       = {http://doi.acm.org/10.1145/2814228.2814249},
  doi       = {10.1145/2814228.2814249},
  timestamp = {Wed, 28 Oct 2015 16:50:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/Petricek15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/haskell/OrchardP14,
  author    = {Dominic A. Orchard and
               Tomas Petricek},
  title     = {Embedding effect systems in Haskell},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {13--24},
  year      = {2014},
  crossref  = {DBLP:conf/haskell/2014},
  url       = {http://doi.acm.org/10.1145/2633357.2633368},
  doi       = {10.1145/2633357.2633368},
  timestamp = {Mon, 08 Sep 2014 16:10:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/OrchardP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PetricekOM14,
  author    = {Tomas Petricek and
               Dominic A. Orchard and
               Alan Mycroft},
  title     = {Coeffects: a calculus of context-dependent computation},
  booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages     = {123--135},
  year      = {2014},
  crossref  = {DBLP:conf/icfp/2014},
  url       = {http://doi.acm.org/10.1145/2628136.2628160},
  doi       = {10.1145/2628136.2628160},
  timestamp = {Thu, 20 Nov 2014 18:05:13 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/PetricekOM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/PetricekS14,
  author    = {Tomas Petricek and
               Don Syme},
  title     = {The F{\#} Computation Expression Zoo},
  booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
               {PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
  pages     = {33--48},
  year      = {2014},
  crossref  = {DBLP:conf/padl/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-04132-2_3},
  doi       = {10.1007/978-3-319-04132-2_3},
  timestamp = {Sun, 29 Dec 2013 14:19:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/PetricekS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetricekSB15,
  author    = {Tomas Petricek and
               Don Syme and
               Zach Bray},
  title     = {In the Age of Web: Typed Functional-First Programming Revisited},
  booktitle = {Proceedings {ML} Family/OCaml Users and Developers workshops, ML/OCaml
               2014, Gothenburg, Sweden, September 4-5, 2014.},
  pages     = {64--79},
  year      = {2014},
  crossref  = {DBLP:journals/corr/KiselyovG15},
  url       = {http://dx.doi.org/10.4204/EPTCS.198.3},
  doi       = {10.4204/EPTCS.198.3},
  timestamp = {Fri, 04 Mar 2016 12:20:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/PetricekSB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/OrchardPM14,
  author    = {Dominic A. Orchard and
               Tomas Petricek and
               Alan Mycroft},
  title     = {The semantic marriage of monads and effects},
  journal   = {CoRR},
  volume    = {abs/1401.5391},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.5391},
  timestamp = {Sun, 02 Feb 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/OrchardPM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PetricekOM13,
  author    = {Tomas Petricek and
               Dominic A. Orchard and
               Alan Mycroft},
  title     = {Coeffects: Unified Static Analysis of Context-Dependence},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
               {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  pages     = {385--397},
  year      = {2013},
  crossref  = {DBLP:conf/icalp/2013-2},
  url       = {http://dx.doi.org/10.1007/978-3-642-39212-2_35},
  doi       = {10.1007/978-3-642-39212-2_35},
  timestamp = {Tue, 09 Jul 2013 08:43:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/PetricekOM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/SymeBTMP12,
  author    = {Don Syme and
               Keith Battocchi and
               Kenji Takeda and
               Donna Malayeri and
               Tomas Petricek},
  title     = {Themes in information-rich functional programming for internet-scale
               data sources},
  booktitle = {Proceedings of the 2013 Workshop on Data Driven Functional Programming,
               {DDFP} 2013, Rome, Italy, January 22, 2013},
  pages     = {1--4},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013ddfp},
  url       = {http://doi.acm.org/10.1145/2429376.2429378},
  doi       = {10.1145/2429376.2429378},
  timestamp = {Tue, 14 Jun 2016 17:22:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/SymeBTMP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2921,
  author    = {Tomas Petricek},
  title     = {Evaluation strategies for monadic computations},
  booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012.},
  pages     = {68--89},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1202-2407},
  url       = {http://dx.doi.org/10.4204/EPTCS.76.7},
  doi       = {10.4204/EPTCS.76.7},
  timestamp = {Sun, 20 Nov 2016 11:29:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1202-2921},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PetricekMS11,
  author    = {Tomas Petricek and
               Alan Mycroft and
               Don Syme},
  title     = {Extending monads with pattern matching},
  booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2011, Tokyo, Japan, 22 September 2011},
  pages     = {1--12},
  year      = {2011},
  crossref  = {DBLP:conf/haskell/2011},
  url       = {http://doi.acm.org/10.1145/2034675.2034677},
  doi       = {10.1145/2034675.2034677},
  timestamp = {Fri, 13 Jan 2012 14:09:04 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/PetricekMS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/SymePL11,
  author    = {Don Syme and
               Tomas Petricek and
               Dmitry Lomov},
  title     = {The F{\#} Asynchronous Programming Model},
  booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
               {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  pages     = {175--189},
  year      = {2011},
  crossref  = {DBLP:conf/padl/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-18378-2_15},
  doi       = {10.1007/978-3-642-18378-2_15},
  timestamp = {Tue, 15 Feb 2011 14:49:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/SymePL11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/PetricekS11,
  author    = {Tomas Petricek and
               Don Syme},
  title     = {Joinads: {A} Retargetable Control-Flow Construct for Reactive, Parallel
               and Concurrent Programming},
  booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
               {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  pages     = {205--219},
  year      = {2011},
  crossref  = {DBLP:conf/padl/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-18378-2_17},
  doi       = {10.1007/978-3-642-18378-2_17},
  timestamp = {Tue, 15 Feb 2011 14:49:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/PetricekS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/PetricekS10,
  author    = {Tomas Petricek and
               Don Syme},
  title     = {Collecting hollywood's garbage: avoiding space-leaks in composite
               events},
  booktitle = {Proceedings of the 9th International Symposium on Memory Management,
               {ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
  pages     = {53--62},
  year      = {2010},
  crossref  = {DBLP:conf/iwmm/2010},
  url       = {http://doi.acm.org/10.1145/1806651.1806662},
  doi       = {10.1145/1806651.1806662},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwmm/PetricekS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itat/Petricek09,
  author    = {Tomas Petricek},
  title     = {Encoding Monadic Computations in C{\#} Using Iterators},
  booktitle = {Proceedings of the Conference on Theory and Practice of Information
               Technologies, {ITAT} 2009, Horsk{\'{y}} hotel Kralova studna,
               Slovakia, September 25-29, 2009},
  pages     = {61--69},
  year      = {2009},
  crossref  = {DBLP:conf/itat/2009},
  url       = {http://ceur-ws.org/Vol-584/paper9.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itat/Petricek09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016nielson,
  editor    = {Christian W. Probst and
               Chris Hankin and
               Ren{\'{e}} Rydhof Hansen},
  title     = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
               and Flemming Nielson on the Occasion of Their 60th Birthdays},
  series    = {Lecture Notes in Computer Science},
  volume    = {9560},
  publisher = {Springer},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-27810-0},
  doi       = {10.1007/978-3-319-27810-0},
  isbn      = {978-3-319-27809-4},
  timestamp = {Tue, 12 Jan 2016 15:59:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2016nielson},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015onward,
  editor    = {Gail C. Murphy and
               Guy L. Steele Jr.},
  title     = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
               Reflections on Programming and Software, Onward! 2015, Pittsburgh,
               PA, USA, October 25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814228},
  isbn      = {978-1-4503-3688-8},
  timestamp = {Wed, 28 Oct 2015 16:50:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/2015onward},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
  editor    = {Wouter Swierstra},
  title     = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2633357},
  isbn      = {978-1-4503-3041-1},
  timestamp = {Mon, 08 Sep 2014 16:10:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2628136},
  isbn      = {978-1-4503-2873-9},
  timestamp = {Thu, 20 Nov 2014 18:05:13 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/2014,
  editor    = {Matthew Flatt and
               Hai{-}Feng Guo},
  title     = {Practical Aspects of Declarative Languages - 16th International Symposium,
               {PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8324},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-04132-2},
  doi       = {10.1007/978-3-319-04132-2},
  isbn      = {978-3-319-04131-5},
  timestamp = {Sun, 29 Dec 2013 14:19:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/KiselyovG15,
  editor    = {Oleg Kiselyov and
               Jacques Garrigue},
  title     = {Proceedings {ML} Family/OCaml Users and Developers workshops, ML/OCaml
               2014, Gothenburg, Sweden, September 4-5, 2014},
  series    = {{EPTCS}},
  volume    = {198},
  year      = {2015},
  url       = {http://dx.doi.org/10.4204/EPTCS.198},
  doi       = {10.4204/EPTCS.198},
  timestamp = {Fri, 04 Mar 2016 12:20:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/KiselyovG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2013-2,
  editor    = {Fedor V. Fomin and
               Rusins Freivalds and
               Marta Z. Kwiatkowska and
               David Peleg},
  title     = {Automata, Languages, and Programming - 40th International Colloquium,
               {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7966},
  publisher = {Springer},
  year      = {2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-39212-2},
  doi       = {10.1007/978-3-642-39212-2},
  isbn      = {978-3-642-39211-5},
  timestamp = {Tue, 09 Jul 2013 08:43:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/2013-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2013ddfp,
  editor    = {Evelyne Viegas and
               Karin K. Breitman and
               Judith Bishop},
  title     = {Proceedings of the 2013 Workshop on Data Driven Functional Programming,
               {DDFP} 2013, Rome, Italy, January 22, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2429376},
  isbn      = {978-1-4503-1871-6},
  timestamp = {Tue, 14 Jun 2016 17:22:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/2013ddfp},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-2407,
  editor    = {James Chapman and
               Paul Blain Levy},
  title     = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series    = {{EPTCS}},
  volume    = {76},
  year      = {2012},
  url       = {http://dx.doi.org/10.4204/EPTCS.76},
  doi       = {10.4204/EPTCS.76},
  timestamp = {Sun, 20 Nov 2016 11:29:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1202-2407},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/haskell/2011,
  editor    = {Koen Claessen},
  title     = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2011, Tokyo, Japan, 22 September 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0860-1},
  timestamp = {Fri, 13 Jan 2012 14:09:04 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/2011,
  editor    = {Ricardo Rocha and
               John Launchbury},
  title     = {Practical Aspects of Declarative Languages - 13th International Symposium,
               {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6539},
  publisher = {Springer},
  year      = {2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-18378-2},
  doi       = {10.1007/978-3-642-18378-2},
  isbn      = {978-3-642-18377-5},
  timestamp = {Tue, 15 Feb 2011 14:49:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2010,
  editor    = {Jan Vitek and
               Doug Lea},
  title     = {Proceedings of the 9th International Symposium on Memory Management,
               {ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1806651},
  isbn      = {978-1-4503-0054-4},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwmm/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itat/2009,
  editor    = {Peter Vojt{\'{a}}s},
  title     = {Proceedings of the Conference on Theory and Practice of Information
               Technologies, {ITAT} 2009, Horsk{\'{y}} hotel Kralova studna,
               Slovakia, September 25-29, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {584},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-584},
  urn       = {urn:nbn:de:0074-584-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itat/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}