439 search results - page 58 / 88 » Type invariants for Haskell |
ERLANG
2003
ACM
14 years 27 days ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
27
Voted
GI
1997
Springer
13 years 11 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
ICASSP
2009
IEEE
13 years 11 months ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
ICANN
2001
Springer
14 years 3 days ago
2001
Springer
Natural videos obtained from a camera mounted on a cat’s head are used as stimuli for a network of subspace energy detectors. The network is trained by gradient ascent on an obje...
FSTTCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...