894 search results - page 45 / 179 » Typed Contracts for Functional Programming |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
OOPSLA
1989
Springer
14 years 21 days ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
ECOOP
2006
Springer
14 years 10 days ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
ENTCS
2007
13 years 8 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
SPE
2002
13 years 8 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...