Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Option type

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Option types are a powerful abstraction that allows the concise modelling of combinatorial problems where some decisions are… Expand
  • table 1
Is this relevant?
2012
2009
2009
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have… Expand
Is this relevant?
2009
2009
Context. Extrasolar giant planets are found to orbit their host stars with a broad range of semi-major axes 0.02 ≤ a ≤ 6 AU… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
La decouverte de l'art rupestre prehistorique du Tassili-n-Ajjer est indument attribuee a l'explorateur Henri Lhote. Le veritable… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Traditionally, statically typed programming languages incorporate a built-in static type system. This system is typically… Expand
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… Expand
  • figure 2.1
  • figure 3.1
  • figure 3.3
  • figure 4.1
  • figure 4.2
Is this relevant?
2003
2003
Composing Web services into a coherent application can be a tedious and error prone task when using traditional textual scripting… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This memo describes a new IP Option type that alerts transit routers to more closely examine the contents of an IP packet. This… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper describes the exercise behavior of over 50,000 employees who hold longterm options on employer stock at eight… Expand
  • table 2
  • table 4
  • table 6
  • table 6
Is this relevant?