Gradual typing combines static and dynamic typing in the same language, offering the benefits of both to programmers. Static typing provides error detection and strong guarantees while dynamic typing enables rapid prototyping and flexible programming idioms. For programmers to take full advantage of a gradual type system, however, they must be able to trust their type annotations, and so runtim...

The wing rock motion is mathematically described by a nonlinear differential equation with coefficients varying with angle of attack. In this paper, a neural-network-based adaptive control system is developed for the wing rock motion control. The adaptive controller comprises a neural network controller and a compensation controller. The neural network controller using a recurrent neural networ...

Siek and Taha [2006] coined the term gradual typing to describe a theory for integrating static and dynamic typing within a single language that 1) puts the programmer in control of which regions of code are statically or dynamically typed and 2) enables the gradual evolution of code between the two typing disciplines. Since 2006, the term gradual typing has become quite popular but its meaning...

Measuring the elastic modulus of in-situ rock masses over scales of tens of meters remains an important challenge in experimental rock mechanics. We present a new approach using ambient resonance measurements of freestanding rock masses to identify vibrational modes, which are then matched with numerical models implementing bulk, globally representative material properties. The result is an exp...

In this work the likelihood of asphaltene deposition problems during dynamic displacement of oil by natural gas in unconsolidated porous media is experimentally inspected. The two different rock materials, limestone and sandstone, are used as a representative of porous media. Dynamic flow experiments indicate that the increase of natural gas injection increases asphaltene deposition in the unco...

Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, and offering strong compile-time guarantees on the behavior of a program. However, compared to dynamic typing, static typing often comes at the expense of development speed and flexibility, as statically-typed code might be more difficult to adapt to changing require...

The purpose of this paper is to investigate the application of a combined finite-discrete element program, such as ELFEN, for the simulation and prediction of backfill stope failure risks due to blast loading effects in underground mines. A real size of a backfilled stope blasted in the nearby rock of the paste fill is modelled. The dynamic fracture propagation and fragmentation in rock and the...

This paper presents a library for programming with polymorphic dynamic types in the dependently typed programming language Agda. The resulting library allows dynamically typed values with a polymorphic type to be instantiated to a less general (possibly monomorphic) type without compromising type soundness. There are situations where the types of the values that a program manipulates are not kn...

An ambient calculus with both static and dynamic types is presented, where the latter ones represent mobility and access rights that may be dynamically consumed and acquired in a controlled way. Novel constructs and operations are provided to this end. Type-checking is purely local, except for a global hierarchy that establishes which locations have the authority to grant rights to which: there...