Merkliste 
 1 Ergebnisse 
 
1

Abstraction preservation and subtyping in distributed langu..:

, In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming,