2362 search results - page 18 / 473 » Programming in Standard ML |
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Inter-company data interchange within a specific industrial sector is necessarily based on standard document formats, structures, and transmission protocols. In this perspective, t...
PPL
2008
14 years 11 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...