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
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… 
2014
2014
An Open Alternative for SMT-Based Verification of Scade Models
Scade is an industrial strength synchronous language and tool suite for the development of the software of safety-critical… 
2012
2012
Fynbos Riparian Biogeochemistry and Invasive Australian Acacias
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… 
2007
2007
Relationships for object-oriented programming languages
Object-oriented approaches to software design and implementation have gained enormous popularity over the past two decades… 
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… 
2000
2000
Matching Index Expressions for Information Retrieval
The INN system is a dynamic hypertext tool for searching and exploring the WWW. It uses a dynamically built ancillary layer to… 
1996
1996
A Machine Verified Distributed Sorting Algorithm
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The… 
1996
1996
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Specification frameworks such as B and Z provide power sets and cartesian products as built-in type constructors, and employ a… 
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)