Skip to search formSkip to main contentSkip to account menu

System F

Known as: Higher-order polymorphic lambda calculus, Second order lambda calculus, System Fω 
System F, also known as the (Girard–Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

37 relations
Bounded quantifierCalculus of constructionsCategorical logicChurch encoding

Broader (2)

Lambda calculusType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Mycotoxin accumulation and corresponding ear rot rating in three maturity groups of European maize inoculated by two Fusarium species
Fusarium graminearum (FG) and F. verticillioides (FV) produce the mycotoxins deoxynivalenol (DON), zearalenone (ZEA) and… 
2007
2007
The relationship between the Norwegian R&D tax credit scheme and other innovation policy instruments
Highly Cited
2005
Highly Cited
2005
Different fouling modes of submerged hollow-fiber and flat-sheet membranes induced by high strength wastewater with concurrent biofouling
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
Highly Cited
2002
Highly Cited
2002
Monads for incremental computing
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A… 
Highly Cited
1996
Highly Cited
1996
Interactions between Organized, Surface-Confined Monolayers and Vapor-Phase Probe Molecules. 10. Preparation and Properties of Chemically Sensitive Dendrimer Surfaces
This report is the first account of covalent surface confinement of dendrimers1,2 and the characterization of the resulting… 
Highly Cited
1989
Highly Cited
1989
2,3,7,8,12,13,17,18-Octakis(.beta.-hydroxyethyl)porphyrin (octaethanolporphyrin) and its liquid crystalline derivatives: synthesis and characterization
A synthesis is reported of 2,3,7,8,12,13,17,18-octakis({beta}-hydroxyethyl)porphyrin (octaethanolporphyrin) and a series of its… 
Highly Cited
1989
Highly Cited
1989
Inheritance and explicit coercion
A method is presented for providing semantic interpretations for languages which feature inheritance in the framework of… 
Highly Cited
1972
Highly Cited
1972
Methoxylated flavonoids from Artemisia
Highly Cited
1944
Highly Cited
1944
A PHOTOMETRIC METHOD FOR THE DETERMINATION OF CHOLATES IN BILE AND BLOOD
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)