A Modular Module SystemReportar como inadecuado




A Modular Module System - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CRISTAL - Typed programming, modularity and compilation Inria Paris-Rocquencourt

Abstract : A simple implementation of a SML-like module system is presented as a module parameterized by a base language and its type-checker. This demonstrates constructively the applicability of that module system to a wide range of programming languages.

Keywords : SML CAML SHARING CONSTRAINTS FUNCTORS ML MODULE SYSTEMS TYPE SYSTEMS





Autor: Xavier Leroy -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados