Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Tomas Petricek
Map detail
Tomas Petricek6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTomas PetricekATomas PetricekResearcherFoundations of a live data exploration environmentWFoundations of a live d...preprint / 2020Evaluation strategies for monadic computationsWEvaluation strategies f...preprint / 2012In the Age of Web: Typed Functional-First Programming RevisitedWIn the Age of Web: Type...preprint / 2015Types from data: Making structured data first-class citizens in F#WTypes from data: Making...preprint / 2016The semantic marriage of monads and effectsWThe semantic marriage o...preprint / 2014
Person5 links

Tomas Petricek

Researcher