Skip to search formSkip to main contentSkip to account menu

Function type

Known as: Function space types, Function-space constructor, Arrow type 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
C++C++11Cartesian closed categoryClosure (computer programming)

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modern Perspectives in Type-Theoretical Semantics
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics… 
2017
2017
The Dynamic Model of Advertising Costs with Continuously Distributed Lags ?
The dynamic optimal control problem of advertising costs in case of a company’s limited advertising budget is analyzed. Initial… 
2013
2013
Comparación de modelos para estimar la presión real de vapor de agua
Resumen es: La presion real de vapor de agua es una variable basica para estimar la evapotranspiracion de los cultivos, uno de… 
2012
2012
Detection & classification of arrow markings on roads using signed edge signatures
In this paper, we propose a novel method to robustly identify and classify arrow markings in road images. In the proposed method… 
2011
2011
Fuzzy rule base construction for Minnesota Code
The Minnesota Code is the evaluation method of reference ECG signals. The experimental studies compare the effectiveness of the… 
2010
2010
An ANN model of optimizing activation functions based on constructive algorithm and GP
The importance of the activation functions in ANN is emphasized. A new ANN modeling method is proposed based on constructive… 
2009
2009
Critical clearing time evaluation of power system with UPFC by energetic method
In practice, the CCT can be obtained in one of two ways: by trial and error analysis of system post disturbance equations [1,2… 
2003
2003
On the minimization over SO ( 3 ) Manifolds
In almost all image-model and model-model registration problems the question arises as to what optimal rigid body transformation… 
2002
2002
A new approach for designing TSK fuzzy systems from input-output data
We propose a new approach for determining fuzzy membership functions for system inputs and outputs and for defining the rule base… 
1991
1991
Data Analysis Using G/Splines
G/SPLINES is an algorithm for building functional models of data. It uses genetic search to discover combinations of basis… 
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)