Skip to search formSkip to main contentSkip to account menu

Gradual typing

Known as: List of gradually typed programming languages 
Gradual typing is a type system in which some variables and expressions may be given types and the correctness of the typing is checked at compile… 
Wikipedia (opens in a new tab)

Related topics

Related topics

19 relations
ActionScriptClojureCythonDart (programming language)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Shot Boundary Detection based on Multilevel Difference of Colour Histograms
Shot boundary detection (SBD) is a fundamental step in video retrieval and analysis. Although the existing methods have achieved… 
2009
2009
Qualidade de biscoitos elaborados com farelo de arroz extrusado em substituição à farinha de trigo e fécula de mandioca
SUMMARY. Quality of cookies formulated with extruded rice bran in substitution to wheat flour and cassava starch. Rice bran is a… 
2009
2009
Can Scarabs Argue for the Origins of the Hyksos
One of the most intriguing questions about the Second Intermediate Period in Egypt is the origin of the Hyksos—the foreign people… 
2004
2004
River of Change: a Model for the Development of Terraces Along the Bow River, Alberta
Researchers working in the Bow River valley have identified a minimum of four alluvial terraces, the upper two of which have been… 
2002
2002
Effects of gradual versus step increases in carbon dioxide on Plantago photosynthesis and growth in a microcosm study
2002
2002
Special issue: Shape Representation and Similarity for Image Databases
2001
2001
Is there a connection between high transport of water through the Rockall Trough and ecological changes in the North Sea
Changes in the ecosystem of the North Sea may occur as pronounced inter-annual and step-wise shifts as well as gradual trends… 
1997
1997
Hydration-Induced Gel States of the Dienic Lipid 1,2-Bis(2,4-octadecadienoyl)-sn-glycero-3-phosphorylcholine and Their Characterization Using Infrared Spectroscopy
The lyotropic phase behavior of the dienic lipid 1,2-bis(2,4-octadecadienoyl)-sn-glycero-3-phosphorylcholine (DODPC) has been… 
1982
1982
The Earth's early hydrosphere
The date at which the Earth's hydrosphere came into existence is unknown. Although all current geological models for the very… 
1972
1972
Wealth Effects on Consumption in a Modified Life-Cycle Model
In their original contributions [3] and [4], Modigliani and Brumberg showed that the maximization of an homogeneous inter… 
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)