Result type

In functional programming, a result type is a Monadic type holding a returned value or an error code. They provide an elegant way of handling errors…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

Automated negotiation has become the core of many intelligent applications. Common research in automated negotiation is focused…

2009

This work presents the implementation of a thick SU-8 layer as a mask in the microabrasive jet machining (μ-AJM) process. A…

2009

In modern data integration scenarios, many remote data sources are located on the Web and are accessible only through forms or…

2007

In a digital business ecosystem (DBE) information on the businesses and the services they provide may be described in terms of…

2005

This study is a qualitative case study focusing on the question “What are the processes of learning in a Computer Algebra System…

2004

Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case…

2002

1996

We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…

1994

This paper presents the extensions made to the query compiler of an object-relational database management system (ORDBMS) to make…

1983