Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,743 papers from all fields of science
Search
Sign In
Create Free Account
Phase distinction
Phase Distinction is a property of programming languages that observe a strict division between types and terms. A concise rule for determining…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Computer programming
Dependent ML
Expression (computer science)
Optimizing compiler
Type erasure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Determination of diagnostic value of Toxoplasma gondii recombinant surface antigen (SAG1, P30) in mouse experimental model
W. O. Abdullah
,
N. Unyah
,
R. Hamat
,
I. Ithoi
,
R. Basir
,
M. A. Ghani
2014
Corpus ID: 83596774
The aim of this study was to test the potential diagnostic usefulness of recombinant Toxoplasma gondii SAG1 antigen and excretory…
Expand
2011
2011
Phase Distinction in Eddy Current Testing for Steel Tubes
Jun Lin
2011
Corpus ID: 114119818
In the eddy current testing for steel tubes,the saturated magnetization was needed in order to reduce the effect of the magnetic…
Expand
2009
2009
Design and experiment of rudder load simulator for high dynamic aircraft
Xin Wang
,
Dong-Zhu Feng
,
Haoyu Hu
IEEE Conference on Industrial Electronics and…
2009
Corpus ID: 18444503
The design of flight control system for high dynamic aircraft (HDA) requires a more efficient positional accuracy and quicker…
Expand
2009
2009
A study on dynamics of electric load simulator using spring beam and feedforward control technique
Xin Wang
,
Dong-Zhu Feng
Chinese Control and Decision Conference
2009
Corpus ID: 46155877
In order to design and test rudder systems of high dynamic aircraft (HDA), the electric rudder load simulator (ERLS) with spring…
Expand
2009
2009
ELMCS design using CMAC compound control algorithm
Xin Wang
,
Dong-Zhu Feng
,
Shijie Sun
Chinese Control and Decision Conference
2009
Corpus ID: 41003586
In this paper the mathematical model of electric load motion control system (ELMCS) is established and the specific algorithm is…
Expand
2006
2006
Concoqtion : Mixing Dependent Types and Hindley-Milner Type Inference ( Technical Report )
E. Pasalic
,
Jeremy G. Siek
,
Walid Taha
2006
Corpus ID: 17514461
This paper addresses the question of how to extend OCaml’s Hindley-Milner type system with types indexed by logical propositions…
Expand
Review
2001
Review
2001
A model for dehydration and moisture flow in concrete at high temperature
Victor Pellón
2001
Corpus ID: 109745387
This thesis presents a model for dehydration and moisture flow in concrete at temperatures below the critical point of water. The…
Expand
1994
1994
Compiling with Non-Parametric Polymorphism.
R. Harper
,
G. Morrisett
1994
Corpus ID: 58803755
Abstract : There is a middle ground between parametric and ad-hoc polymorphism in which a computation can depend upon a type…
Expand