Travelled to:
1 × France
2 × USA
Collaborated with:
∅
Talks about:
transpar (1) signatur (1) presenc (1) functor (1) control (1) analysi (1) higher (1) driven (1) demand (1) updat (1)
Person: Sandip K. Biswas
DBLP: Biswas:Sandip_K=
Contributed to:
Wrote 3 papers:
- POPL-1997-Biswas #analysis
- A Demand-Driven Set-Based Analysis (SKB), pp. 372–385.
- POPL-1995-Biswas #higher-order
- Higher-Order Functors with Transparent Signatures (SKB), pp. 154–163.
- LFP-1994-Biswas
- In-Place Updates in the Presence of Control Operators (SKB), pp. 283–293.