Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,233,522 papers from all fields of science
Search
Sign In
Create Free Account
Function type
Known as:
Function space types
, Function-space constructor
, Arrow type
Expand
In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
C++
C++11
Cartesian closed category
Closure (computer programming)
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Dynamic Model of Advertising Costs with Continuously Distributed Lags ?
I. Lutoshkin
,
N. Yamaltdinova
2017
Corpus ID: 53320475
The dynamic optimal control problem of advertising costs in case of a company’s limited advertising budget is analyzed. Initial…
Expand
2014
2014
An Open Alternative for SMT-Based Verification of Scade Models
Henning Basold
,
H. Günther
,
M. Huhn
,
Stefan Milius
International Workshop on Formal Methods for…
2014
Corpus ID: 45104284
Scade is an industrial strength synchronous language and tool suite for the development of the software of safety-critical…
Expand
2012
2012
Fynbos Riparian Biogeochemistry and Invasive Australian Acacias
M. Naude
2012
Corpus ID: 130897400
2009
2009
Critical clearing time evaluation of power system with UPFC by energetic method
B. Boussahoua
,
M. Boudour
2009
Corpus ID: 39542792
In practice, the CCT can be obtained in one of two ways: by trial and error analysis of system post disturbance equations [1,2…
Expand
2007
2007
Relationships for object-oriented programming languages
A. Wren
2007
Corpus ID: 5408991
Object-oriented approaches to software design and implementation have gained enormous popularity over the past two decades…
Expand
2003
2003
On the minimization over SO ( 3 ) Manifolds
F. Kuehnel
2003
Corpus ID: 16505035
In almost all image-model and model-model registration problems the question arises as to what optimal rigid body transformation…
Expand
2002
2002
A new approach for designing TSK fuzzy systems from input-output data
A. Sonbol
,
M. S. Fadali
Proceedings of the American Control Conference…
2002
Corpus ID: 1777177
We propose a new approach for determining fuzzy membership functions for system inputs and outputs and for defining the rule base…
Expand
2000
2000
Matching Index Expressions for Information Retrieval
B. Wondergem
,
P. Bommel
,
T. V. D. Weide
Information retrieval (Boston)
2000
Corpus ID: 1757409
The INN system is a dynamic hypertext tool for searching and exploring the WWW. It uses a dynamically built ancillary layer to…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1996
1996
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Claus Hintermeier
,
H. Kirchner
,
Peter D. Mosses
1996
Corpus ID: 5704197
Specification frameworks such as B and Z provide power sets and cartesian products as built-in type constructors, and employ a…
Expand
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)
ACCEPT & CONTINUE