Author-Donsyme on D3S https://d3s.mff.cuni.cz/tags/author-donsyme/ Recent content in Author-Donsyme on D3S Hugo en Collecting hollywood's garbage: avoiding space-leaks in composite events https://d3s.mff.cuni.cz/publications/petricek_collecting_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_collecting_2010/ Extending monads with pattern matching https://d3s.mff.cuni.cz/publications/petricek_extending_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_extending_2011/ In the Age of Web: Typed Functional-First Programming Revisited https://d3s.mff.cuni.cz/publications/petricek_in_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_in_2014/ Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming https://d3s.mff.cuni.cz/publications/petricek_joinads_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_joinads_2011/ The F# Asynchronous Programming Model https://d3s.mff.cuni.cz/publications/syme_f_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/syme_f_2011/ The F# Computation Expression Zoo https://d3s.mff.cuni.cz/publications/petricek_f_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_f_2014/ Types from data: making structured data first-class citizens in F# https://d3s.mff.cuni.cz/publications/petricek_types_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/petricek_types_2016/