Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,224,141 papers from all fields of science
Search
Sign In
Create Free Account
Bottom type
Known as:
Bottom
, Java.lang.Void
, Zero type
Expand
In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Common Lisp
Continuation
Control flow
Curry–Howard correspondence
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Abundance and Distribution of Age-0 Walleye Pollock in the Eastern Bering Sea Shelf During the Bering Arctic Subarctic Integrated Survey (BASIS) in 2014
D. McKelvey
,
K. Williams
2018
Corpus ID: 134511769
We conducted an acoustic-trawl (AT) survey of the eastern Bering Sea during the 2014 Bering Arctic Subarctic Integrated Survey…
Expand
2016
2016
Coinductive Intersection Types are Completely Unsound
Pierre Vial
arXiv.org
2016
Corpus ID: 18858109
Type assignment systems are known to grant or characterize normalization. The grammar of the types they feature is usually…
Expand
2014
2014
Storm surge barrier Tokyo Bay: Analysis on a system level and conceptual design
M. Fuentes
2014
Corpus ID: 107629308
Tokyo Bay is an area exposed to storm surges generated by typhoons. Consequently lowlands along its coastline are subject to…
Expand
2012
2012
Shallow flows with bottom topography
V. Heijst
,
L. Kamp
,
R. Theunissen
2012
Corpus ID: 126639288
This paper discusses laboratory experiments and numerical simulations of dipolar vortex flows in a shallow fluid layer with…
Expand
Review
2010
Review
2010
Spatial management of groundfish resources in the Gulf of Maine and Georges Bank
J. Cournane
2010
Corpus ID: 130790393
SPATIAL MANAGEMENT OF GROUNDFISH RESOURCES IN THE GULF OF MAINE AND GEORGES BANK by Jamie Marie Cournane University of New…
Expand
2004
2004
Bottom-type scattering layers and equatorial spread
D. Hysell
,
J. Chun
,
J. L. Chau
2004
Corpus ID: 15346304
Jicamarca radar observations of bottom-type coherent scattering layers in the post-sunset bottomside F-region ionosphere are…
Expand
2004
2004
The properties of special concrete using bottom ash
Z. Muda
2004
Corpus ID: 136406397
This report presents an experimental study to determine the behavior of Special Concrete containing Bottom Ash that was obtained…
Expand
Review
2003
Review
2003
Lúðan (Hippoglossus hippoglossus) við Ísland og hugmyndir um aðgerðir til verndunar hennar
K. Kristinsson
2003
Corpus ID: 130631630
Kristjan Kristinsson 2003. The conservation of Atlantic halibut (Hippoglossus hippoglossus) in Icelandic waters. Marine Research…
Expand
2000
2000
Bottom Classification in the Continental Shelf: A Case Study for the North-west and South-east Shelf of Australia
P. Justy
,
W. Siwabessy
,
J. Penrose
,
David R. Fox
,
Rudy J. Kloser
2000
Corpus ID: 17990753
Bottom classification has been conducted in the north-west and south-east continental shelf of Australia as a part of a CSIRO…
Expand
1988
1988
Les peuplements démersaux (poissons et céphalopodes) dans les eaux sahariennes
J. Laroche
,
A. Idelhaj
1988
Corpus ID: 131180454
Le but de ce travail est d'etudier les differentes associations entre les especes demersales du plateau continental saharien et…
Expand