Sciweavers

909 search results - page 106 / 182
» Generic Programming: An Introduction
Sort
View
APLAS
2005
ACM
15 years 8 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
UML
2005
Springer
15 years 8 months ago
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
Hiroshi Wada, Jun Suzuki
APLAS
2004
ACM
15 years 8 months ago
Network Fusion
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
Pascal Fradet, Stéphane Hong Tuan Ha
113
Voted
VR
2002
IEEE
158views Virtual Reality» more  VR 2002»
15 years 8 months ago
DIVERSE: A Framework for Building Extensible and Reconfigurable Device Independent Virtual Environments
We present DIVERSE, a highly modular collection of complimentary software packages designed to facilitate the creation of device independent virtual environments. DIVERSE is free/...
John T. Kelso, Lance E. Arsenault, Steven G. Satte...
POPL
1997
ACM
15 years 6 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov