In this paper, we extend a core calculus of ML-like modules, functions, distributed communication, and hash types, to integrate structural subtyping, user- ...
[PDF] Abstraction Preservation and Subtyping in Distributed Languages
www.brinckerhoff.org › Readings
Abstract. In most programming languages, type abstraction is guaranteed by syntactic scoping in a single program, but is not preserved by mar-.
Sep 18, 2006 · In this paper, we extend a core calculus of ML-like modules, functions, distributed com- munication, and hash types, to integrate structural ...
In this paper, we extend a core calculus of ML-like modules, functions, distributed communication, and hash types, to integrate structural subtyping, user- ...
In most programming languages, type abstraction is guaranteed by syntactic scoping in a single program, but is not preserved by marshalling during distributed ...
Jan 8, 2020 · I was wondering if there are any languages that implement subtyping without inheritance. For example, what if you had a Java-like language where interfaces ...
Missing: distributed | Show results with:distributed
In this paper, we extend a core calculus of ML-like modules, functions, distributed communication, and hash types, to integrate structural subtyping, user- ...
2014. Abstraction preservation and subtyping in distributed languages. PM Deniélou, JJ Leifer. ACM SIGPLAN Notices 41 (9), 286-297, 2006. 14, 2006. A protocol ...
Abstraction preservation and subtyping in distributed languages · Pierre-Malo DeniélouJ. Leifer. Computer Science. ACM SIGPLAN International Conference on… 2006.
In most programming languages, type abstraction is guaranteed by syntactic scoping in a single program, but is not preserved by marshalling during dis- tributed ...