Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

33 relations
AgdaBottom typeC++17Coq (software)

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Do CEO characteristics affect earnings management? Evidence from France
This study attempts to add to the small body of existing literature relating Chief executive officer characteristics to earnings… 
2015
2015
A formalization of typed lua
Programmers often migrate from a dynamically typed to a statically typed language when their simple scripts evolve into complex… 
2010
2010
Scenario-based stochastic model predictive control for dynamic option hedging
For a rather broad class of financial options, this paper proposes a stochastic model predictive control (SMPC) approach for… 
2009
2009
Terrestrial planet formation in low-eccentricity warm-Jupiter systems
Context. Extrasolar giant planets are found to orbit their host stars with a broad range of semi-major axes 0.02 ≤ a ≤ 6 AU… 
2009
2009
Thorn: robust concurrent scripting on the JVM
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have… 
Highly Cited
2007
Highly Cited
2007
Optimal risk-sharing with effort and project choice
2006
2006
Art rupestre et Aventures
La decouverte de l'art rupestre prehistorique du Tassili-n-Ajjer est indument attribuee a l'explorateur Henri Lhote. Le veritable… 
Highly Cited
2006
Highly Cited
2006
Calibration Risk for Exotic Options
For academic modelers, the major objective is typically to derive a valuation equation for a derivative instrument, while… 
Highly Cited
1998
Highly Cited
1998
DAN: distributed code caching for active networks
Active networking allows the network infrastructure to be programmable. Previous research focused on two commonly separated… 
Highly Cited
1996
Highly Cited
1996
Employee stock option exercises an empirical analysis
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)