J. Furuse and P. Weis. Entr ees/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
....an existential s representation type to type analysis, permitting a type safe polytypic marshalling function to be written. As future work we hope to expose our global type names at term level (cf. 13] permitting an abstraction safe polytypic marshalling function to be written. Furuse and Weis [9] argue for ignoring abstraction altogether, checking representation types only. A number of programming languages feature some form of builtin marshalling (pickling, serialisation, etc. for example Modula 3, Alice, Java, NET, and OCaml. Most of these languages serialise the type along with the ....
J. Furuse and P. Weis. Entr ees/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
J. Furuse and P. Weis. Entr ees/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Jun Furuse and Pierre Weis. Entrees/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Jun Furuse and Pierre Weis. Entr ees/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC