Scalable Modules in Generic Modula-2

C Pronk, RJ Sutcliffe - Joint Modular Languages Conference, 1997 - Springer
It is conventional wisdom that modules are not scalable in the same sense as functions and
classes. That is, while calls to many functions can be assembled as a single function, and …

[引用][C] Modules and Sharing (revised)

Y Feng - Technical draft, August, 2008

Essentials of Standard ML modules

M Tofte - International School on Advanced Functional …, 1996 - Springer
The following notes give an overview of Standard ML Modules system. Part 1 gives an
introduction to ML Modules aimed at the reader who is familiar with a functional …

[PDF][PDF] PFPL Supplement: Types for Program Modules

R Harper - 2020 - cs.cmu.edu
PFPL Supplement: Types for Program Modules Page 1 PFPL Supplement: Types for Program
Modules∗ Robert Harper Summer, 2020 1 Introduction The two main issues in the design of …

[PDF][PDF] Package 'tree'

B Ripley, MB Ripley - 2023 - cran.wu-wien.ac.at
tree: Classification and Regression Trees Page 1 Package ‘tree’ February 5, 2023 Title
Classification and Regression Trees Version 1.0-43 Date 2023-01-31 Depends R (>= 3.6.0) …

Normal variants

DM Marchiori - 2014 - books.google.com
Skeletal variants, anomalies, and defects are often seen during plain film interpretation. A
general understanding of their presentation and appearance is important because many …

True modules for Java-like languages

D Ancona, E Zucca - European Conference on Object-Oriented …, 2001 - Springer
We present JavaMod, a true module system constructed on top of a Java-like language.
More in detail, this means that basic modules are collections of Java classes and specify in …

Reduced modules relative to functors

A Kyomuhangi - 2022 - dspace.mak.ac.ug
Reduced rings form an important class of rings which properly contains domains. The notion
of reduced rings was studied and later extended to modules. Reduced modules have been …

[图书][B] Toward a practical type theory for recursive modules

DR Dreyer, RW Harper, K Crary - 2001 - academia.edu
Module systems for languages with complex type systems, such as Standard ML, often lack
the ability to express mutually recursive type and function dependencies across module …

[引用][C] Module 2-Structure and Components of Operating Systems

E Abade - 2023