Travelled to:
1 × Denmark
1 × France
Collaborated with:
S.Purushothaman
Talks about:
semant (2) oper (2) abstract (1) definit (1) share (1) evalu (1) adequ (1) lazi (1)
Person: Jill Seaman
DBLP: Seaman:Jill
Contributed to:
Wrote 2 papers:
- FPCA-1993-PurushothamanS #semantics
- From Operational Definitions to Abstract Semantics (SP, JS), pp. 276–288.
- ESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics
- An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.