1003 search results - page 87 / 201 » Type Inference with Inequalities |
156
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
SIAMMA
2010
14 years 10 months ago
2010
We consider the interior transmission problem in the case when the inhomogeneous medium has cavities, i.e. regions in which the index of refraction is the same as the host medium. ...
213
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
150
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
144
Voted
FPCA
1989
15 years 8 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...