A well-known organic host, tris-o-phenylenedioxycyclotriphosphazene, exists in two polymorphic guest-free forms: the thermodynamic nonporous high-density phase and the kinetic nanoporous low-density phase. Simple pressurization of the high density phase with CO(2) brings a solid-state transformation to the low density phase, resulting in significant expansion of the crystal volume by 23%.

We report novel results on self-organized three-dimensional spiral and target patterns exhibiting anomalous superdiffusive behaviour in a reaction-diffusion system with simultaneous precipitation and polymorphic transformation of mercuric iodide without external forcing. The superdiffusive dynamics of propagation of the targets/spirals and their breakup are presented.

pads/t is a declarative data description language paired with an error-aware transformation language. This pairing provides rich support for programming with ad hoc data sources. Such data is common in a wide range of domains including networking, financial analysis, biology, and physics. pads/t’s data description language is based on polymorphic, recursive, and dependent data types. From such ...

Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving transformation of an extension of System F with guarded algebraic data types into itself. We also suggest that defunctionalization is an instance of concretization, a more general technique that allows eliminating constructs other t...

Many calculi supporting a notion of state have been proposed. However this notion is nearly always based on the intuition of a store, that is a binding from name to values. The exception, monads, recently focused on for I/Os, su ers from its rigidity. The transformation calculus, an extension of lambda calculus, shows another, more general way to do that. It is di erent from others in that no o...