Collaborated with:
D.Syme D.A.Orchard ∅ A.Mycroft Gustavo Guerra
Talks about:
data (3) structur (1) pattern (1) develop (1) citizen (1) system (1) haskel (1) extend (1) explor (1) effect (1)
Person: Tomas Petricek 0001
DBLP: 0001:Tomas_Petricek
Facilitated 1 volumes:
Contributed to:
Wrote 4 papers:
- Haskell-2011-PetricekMS #monad #pattern matching
- Extending monads with pattern matching (TP0, AM, DS), pp. 1–12.
- Haskell-2014-OrchardP #haskell
- Embedding effect systems in Haskell (DAO, TP0), pp. 13–24.
- ECOOP-2017-Petricek #data analysis #development
- Data Exploration through Dot-driven Development (TP0), p. 27.
- PLDI-2016-PetricekGS #f#
- Types from data: making structured data first-class citizens in F# (TP0, GG, DS), pp. 477–490.