: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...