I agree that this site is using cookies. You can find further informations here.
X
Leifer, James J.
3  results:
Bookchapter (Online) X
Search for persons X
?
1

Abstraction preservation and subtyping in distributed langu..:

, In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming,
Deniélou, Pierre-Malo ; Leifer, James J. - p. 286-297 , 2006
Link: https://dl.acm.org/doi/1..
 
?
2

Acute : high-level programming language design for distr..:

, In: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming,
Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith... - p. 15-26 , 2005
Link: https://dl.acm.org/doi/1..
 
?
3

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..
 
1-3