2362 search results - page 184 / 473 » Programming in Standard ML |
139
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...
119
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
117
Voted
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
117
click to vote
JMLC
1997
Springer
15 years 8 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
164
click to vote
ESOP
1994
Springer
15 years 8 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...