Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
This paper focuses on the application of the analytical hierarchy process (AHP) technique in the context of sustainable development to establish and optimise health care waste man...
Alan C. Brent, David E. C. Rogers, Tsaletseng S. M...
CrossLink is a versatile tool for the exploration of relationships between RNA sequences. After a parametrization phase, CrossLink delegates the determination of sequence relation...
Tobias Dezulian, Martin Schaefer, Roland Wiese, De...