I agree that this site is using cookies. You can find further informations here.
X
Peskine, Gilles
6  results:
Search for persons X
?
1

Ott: Effective tool support for the working semanticist:

SEWELL, PETER ; NARDELLI, FRANCESCO ZAPPA ; OWENS, SCOTT...
Journal of Functional Programming.  20 (2010)  1 - p. 71-122 , 2010
Link: https://doi.org/10.1017/..
 
?
2

Ott: effective tool support for the working semanticist:

Sewell, Peter ; Nardelli, Francesco Zappa ; Owens, Scott...
ACM SIGPLAN Notices.  42 (2007)  9 - p. 1-12 , 2007
Link: https://doi.org/10.1145/..
 
?
3

Ott : effective tool support for the working semanticist:

, In: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming,
Sewell, Peter ; Nardelli, Francesco Zappa ; Owens, Scott... - p. 1-12 , 2007
Link: https://dl.acm.org/doi/1..
 
?
4

Global abstraction-safe marshalling with hash types:

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter.
ACM SIGPLAN Notices.  38 (2003)  9 - p. 87-98 , 2003
Link: https://doi.org/10.1145/..
 
?
5

Global abstraction-safe marshalling with hash types:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,
Leifer, James J. ; Peskine, Gilles ; Sewell, Peter. - p. 87-98 , 2003
Link: https://dl.acm.org/doi/1..
 
?
6

Global abstraction-safe marshalling with hash types:

Leifer, James J ; Peskine, Gilles ; Sewell, Peter.
Report N°: RR-4851.  , 2003
Link: https://hal.inria.fr/inr..
 
1-6