2362 search results - page 173 / 473 » Programming in Standard ML |
125
Voted
CPP
2011
14 years 3 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
170
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
198
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
229
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
120
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...