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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A design intervention was performed, to reshape the accessory portfolio of BeSafe to achieve brand coherency and expand market… 
2008
2008
This paper describes the key aspects of the system SynCoP (Syntactic Constraint Parser) developed at the Berlin-Brandenburgische… 
2008
2008
One of the causes of malnutrition among the rural inhabitants of Sub-Saharan Africa is the high cost of dietary fats that are… 
2007
2007
• The causes of this alarming failure should be sought in the gradual ossification of Western liberal democratic ideology into an… 
2004
2004
Is hypertension a frequent manifestation of thyroid disease? Which clinical clues suggest hypertension in persons with thyroid… 
2004
2004
Public sector reform in Austria is a never ending story. Each new elected government is writing a new chapter in this incredible… 
Review
2003
Review
2003
When interpreting field data that give evidence of sea levels different from the present one, it is necessary to ascribe the… 
2002
2002
The elective PTCA of a highly stenotic right coronary artery was complicated by intracoronary entrapment of the guidewire. After… 
1999
1999
Mastering science involves not only developing the skills of doing science, but also developing the skill of taking science. This… 
1977
1977
^A qué viene un artículo sobre la enseñanza pos-obligatoria en un número monográfico sobre financiamiento de la enseñanza…