Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,732,289 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
33 relations
Agda
Bottom type
C++17
Coq (software)
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Master MEEF, 2nd degré (PLC) - Arts Plastiques
scomont
2019
Corpus ID: 201506963
L’Institut National Supérieur du Professorat et de l’Éducation (INSPÉ ex ESPE) d’Aquitaine a ouvert à la rentrée 2013. Il…
Expand
2014
2014
The Research on Trade Credit Short-term Financing in a Capital-constrained Supply Chain
Yang Wang
,
Yue Shao
,
J. Ou
2014
Corpus ID: 56299908
In this paper we consider a supply chain consists of a single supplier and a single retailer which has the optimal order quantity…
Expand
2010
2010
Pricing of barrier options under a NIG market model using numerical path integration
A. Naess
,
E. Aukrust
,
Sjur Westgaard
2010
Corpus ID: 18803333
In recent years it has been demonstrated that the Normal Inverse Gaussian (NIG) process can be used to model stock returns. The…
Expand
2008
2008
Supply chain management and economic valuation of real options in the natural gas and liquefied natural gas industry
Mulan X. Wang
2008
Corpus ID: 154293015
My dissertation concentrates on several aspects of supply chain management and economic valuation of real options in the natural…
Expand
2008
2008
Complementing E-Mails with Distinct, Geographic Location Information in Packet-switched IP Networks
S. Kubisch
,
H. Widiger
,
+4 authors
D. Duchow
2008
Corpus ID: 9035653
. Although the Internet has developed into a mass-medium for communication and information exchange over the last couple of years…
Expand
Review
2007
Review
2007
Running head: Alternative Explanations
Kimberly Rush
2007
Corpus ID: 59021750
In the philosophical and psychological literature, causal reasoning is studied in terms of covariation, the observable output of…
Expand
2006
2006
Art rupestre et Aventures
J. Lajoux
2006
Corpus ID: 192714741
La decouverte de l'art rupestre prehistorique du Tassili-n-Ajjer est indument attribuee a l'explorateur Henri Lhote. Le veritable…
Expand
2002
2002
Sex Selection via "Sperm-Sorting": A Morally Acceptable Option?
A. Sutton
2002
Corpus ID: 169670728
Sex selection by means of infanticide is condemned as outrageously immoral by the Western world. But what about sex selection by…
Expand
1997
1997
Increasing Java's expressiveness with ThisType and match-bounded polymorphism
Kim B. Bruce
1997
Corpus ID: 59662007
In this document we would like to propose some relatively minor additions to Java's syntax and semantics GJS96] in order to…
Expand
1997
1997
Netscape Navigator Gold
B. Pfaffenberger
1997
Corpus ID: 57614763
All the Preliminaries: What's a Web Page. Introducing the Navigator Gold Editor. Creating Your First Web Page with Netscape Page…
Expand