Sciweavers

1559 search results - page 138 / 312
» Fundamentals of Generic Programming
Sort
View
114
Voted
APLAS
2005
ACM
15 years 9 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
134
Voted
UML
2005
Springer
15 years 9 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
107
Voted
APLAS
2004
ACM
15 years 9 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
117
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...
136
Voted
POPL
1997
ACM
15 years 7 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