Gilles Peskine

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
Ott: Effective tool support for the working semanticist. J. Funct. Program. 20 (1) (2010)
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
Ott: effective tool support for the working semanticist. ICFP (2007)
Peter Sewell, James J. Leifer, Keith Wansbrough, Gilles Peskine
Global abstraction-safe marshalling with hash types. SIGPLAN Notices (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Global abstraction-safe marshalling with hash types. ICFP (2003)