BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Japan
1 × Latvia
1 × Sweden
2 × USA
Collaborated with:
D.Syme D.A.Orchard A.Mycroft ∅ T.Svoboda D.Lomov
Talks about:
coeffect (2) program (2) context (2) depend (2) comput (2) hollywood (1) construct (1) asynchron (1) retarget (1) recognit (1)

Person: Tomas Petricek

DBLP DBLP: Petricek:Tomas

Contributed to:

Onward! 20152015
ICFP 20142014
PADL 20142014
ICALP (2) 20132013
ICPR 20122012
PADL 20112011
ISMM 20102010

Wrote 8 papers:

Onward-2015-Petricek
Against a universal definition of “Type” (TP), pp. 254–266.
ICFP-2014-PetricekOM #calculus #named
Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
PADL-2014-PetricekS #f#
The F# Computation Expression Zoo (TP, DS), pp. 33–48.
ICALP-v2-2013-PetricekOM #named #static analysis
Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.
ICPR-2012-PetricekS #3d #recognition
Area-weighted surface normals for 3D object recognition (TP, TS), pp. 1492–1496.
PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.
PADL-2011-SymePL #f# #programming
The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.
ISMM-2010-PetricekS
Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.