Travelled to:
1 × France
2 × USA
Collaborated with:
M.Felleisen ∅
Talks about:
continu (3) control (2) model (2) abstract (1) without (1) reason (1) handl (1) full (1)
Person: Dorai Sitaram
DBLP: Sitaram:Dorai
Contributed to:
Wrote 3 papers:
- PLDI-1993-Sitaram
- Handling Control (DS), pp. 147–155.
- POPL-1991-SitaramF #continuation #modelling
- Modeling Continuations without Continuations (DS, MF), pp. 185–196.
- LFP-1990-SitaramF #abstraction #continuation #modelling #reasoning
- Reasoning with Continuations II: Full Abstraction for Models of Control (DS, MF), pp. 161–175.