Skip to search formSkip to main contentSkip to account menu

Type constructor

Known as: Higher-order type operator, Type constructors, Type operator 
In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Algebraic data typeArrow (computer science)Computer scienceCurrying

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Probabilistic Relational Reasoning via Metrics
The Fuzz programming language by Reed and Pierce uses an elegant linear type system combined with a monad-like type to express… 
2017
2017
Higher-order constrained horn clauses for verification
Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn… 
Highly Cited
2013
Highly Cited
2013
Data Refinement in Isabelle/HOL
The paper shows how the code generator of Isabelle/HOL supports data refinement, i.e., providing efficient code for operations on… 
2013
2013
Comparison of h-Difference Fractional Operators
We compare three different types of h-difference fractional operators: Grunwald-Letnikov, Caputo, Riemann-Liouville types of… 
2010
2010
On an integral-type operator from logarithmic Bloch-type spaces to mixed-norm spaces on the unit ball
Highly Cited
2010
Highly Cited
2010
On second variation of Perelman’s Ricci shrinker entropy
In this paper we provide a detailed proof of the second variation formula, essentially due to Richard Hamilton, Tom Ilmanen and… 
2009
2009
Free theorems involving type constructor classes: functional pearl
Free theorems are a charm, allowing the derivation of useful statements about programs from their (polymorphic) types alone. We… 
Highly Cited
2007
Highly Cited
2007
Functional calculus of Dirac operators and complex perturbations of Neumann and Dirichlet problems
Highly Cited
2006
Highly Cited
2006
Innovations in computational type theory using Nuprl
Review
2002
Review
2002
Nonlinear equations with natural growth terms and measure data
We consider a class of nonlinear elliptic equations containing a pLaplacian type operator, lower order terms having natural… 
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)