Option type

Known as: Maybe type, Optional type 
In programming languages (more so functional programming languages) and type theory, an option type or maybe type is a polymorphic type that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2017
02419962017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Misconfigurations have become a major cause of software failures. Most research focuses on misconfiguration diagnosis and… (More)
  • figure 1
  • table I
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
Programmers often migrate from a dynamically typed to a statically typed language when their simple scripts evolve into complex… (More)
  • figure 3
  • figure 4
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2015
2015
More and more mainstream programming languages are adopting concepts from Functional Programming. Good examples are the recent… (More)
Is this relevant?
2013
2013
Article history: Received 1 August 2012 Received in revised form 26 September 2013 Accepted 3 November 2013 Available online xxxx… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2011
2011
We propose a unified syntactic-semantic account of passive sentences and sentences with an unspecified object (John read). For… (More)
  • table 1
Is this relevant?
2011
2011
Monte Carlo methods are common practice in financial engineering for a wide variety of problems, one being option pricing. Large… (More)
  • table 3.1
  • figure 3.1
  • figure 4.1
  • figure 4.2
  • figure 4.3
Is this relevant?
2009
2009
In this paper, acceleration on the GPU for option pricing by the COS method is demonstrated. In particular, both European and… (More)
  • table 1
  • table 4
  • table 2
  • table 5
  • table 6
Is this relevant?
2008
2008
The aim of this paper is to price an American style option when there is uncertainty on the volatility of the underlying asset… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
ion makes it possible to build non-recursive functions directly inside Calculus of Constructions terms, without giving a name to… (More)
  • figure 2.1
  • figure 3.1
  • figure 3.3
  • figure 4.1
  • figure 4.2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Many protocols make use of identifiers consisting of constants and other well-known values. Even after a protocol has been… (More)
Is this relevant?