4757 search results - page 426 / 952 » Monads for Functional Programming |
175
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
183
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
175
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
159
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
The focus of this study is to explore why public agencies implement enterprise architecture programs and the interoperability challenges they are faced with when governing these p...
195
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Protein sequences with unknown functionality are often compared to a set of known sequences to detect functional similarities. Efficient dynamic programming algorithms exist for t...