13734 search results - page 276 / 2747 » Abstractions of data types |
187
click to vote
FPCA
1989
15 years 10 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
176
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
169
click to vote
DEBU
2008
15 years 6 months ago
2008
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
213
click to vote
ENTCS
2010
15 years 3 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
151
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...