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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1980-2017
012319802017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We propose a type system for functional languages with gradual types and set-theoretic type connectives and prove its soundness… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2013
2013
The seamless integration of relational databases and programming languages remains a major challenge. Mapping rich data types… (More)
  • figure 1
  • figure 2
Is this relevant?
2013
2013
UNLABELLED It is common for computational analyses to generate large amounts of complex data that are difficult to process and… (More)
  • figure 1
Is this relevant?
2010
2010
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2008
Review
2008
Guarded re ursive data types (GRDT) are a new language feature whi h allows to type he k the di erent bran hes of ase expressions… (More)
Is this relevant?
2005
2005
We present a procedure to infer a typing for an arbitrary -term M in an intersection-type system that translates into exactly the… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Let S be some type system. A typing in S for a typable term M is the collection of all of the information other than M which… (More)
Is this relevant?
2000
2000
In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of… (More)
Is this relevant?
1997
1997
We describe how type information can be used to infer grammatical structure. This is in contrast to conventional type inference… (More)
  • figure 1
  • figure 2
Is this relevant?
1992
1992
Trellis is designed with these tenets first in mind. It then adopts type-safety through subtype-compatibility rules to ensure… (More)
Is this relevant?