5 search results - page 1 / 1 » Applicative Functors and Fully Transparent Higher-Order Modu... |
POPL
1995
ACM
13 years 8 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
ACSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
EUROPAR
2008
Springer
13 years 6 months ago
2008
Springer
Setting up generic and fully transparent distributed services for clusters implies complex and tedious kernel developments. More flexible approaches such as user-space libraries ar...
APCSAC
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the ent...