Travelled to:1 × Germany
1 × Sweden
Collaborated with:P.Sewell J.J.Leifer K.Wansbrough F.Z.Nardelli S.Owens T.Ridge S.Sarkar R.Strnisa
Talks about:semanticist (1) abstract (1) support (1) marshal (1) global (1) effect (1) work (1) type (1) tool (1) safe (1)
Person: Gilles Peskine
DBLP: Peskine:Gilles
Contributed to:
20072003Wrote 2 papers:
- ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
- Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
- ICFP-2003-LeiferPSW
- Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.