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…

Papers overview

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

2017

This commentary supports an ‘opt-out’ system for organ donation in Canada. To begin, it examines the state of organ donation in…

2016

This study attempts to analyse one-day-ahead out-of-sample performance of the stochastic volatility model of Heston (SVH) in the…

2014

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both…

2009

A partir d’une enquete realisee aupres des eleves de terminale de cinq lycees de Casablanca, cet article analyse leur…

2008

My dissertation concentrates on several aspects of supply chain management and economic valuation of real options in the natural…

2006

La decouverte de l'art rupestre prehistorique du Tassili-n-Ajjer est indument attribuee a l'explorateur Henri Lhote. Le veritable…

2005

We consider a continuous-time setting, in which the agent can control both the drift and the volatility of the underlying process…

2004

I present a novel dataset of over 4,000 firm-level repricings of executives and employees' stock options over the period 1987…

1997

In this document we would like to propose some relatively minor additions to Java's syntax and semantics GJS96] in order to…

1995

In this article we propose a design framework that integrates many application programs and manages the enormous quantity and…