GaSbBi alloys and heterostructures: fabrication and properties

International audienceDilute bismuth (Bi) III-V alloys have recently attracted great attention, due to their properties of band-gap reduction and spin-orbit splitting. The incorporation of Bi into antimonide based III-V semiconductors is very attractive for the development of new optoelectronic devices working in the mid-infrared range (2-5 µm). However, due to its large size, Bi does not readily incorporate into III-V alloys and the epitaxy of III-V dilute bismides is thus very challenging. This book chapter presents the most recent developments in the epitaxy and characterization of GaSbBi alloys and heterostructures

A Unifying Approach to Goal-Directed Evaluation

Goal-directed evaluation, as embodied in Icon and Snobol, is built on the notions of backtracking and of generating successive results, and therefore it has always been something of a challenge to specify and implement. In this article, we address this challenge using computational monads and partial evaluation. We consider a subset of Icon and we specify it with a monadic semantics and a list monad. We then consider a spectrum of monads that also fit the bill, and we relate them to each other. For example, we derive a continuation monad as a Church encoding of the list monad. The resulting semantics coincides with Gudeman's continuation semantics of Icon. We then compile Icon programs by specializing their interpreter (i.e., by using the first Futamura projection), using type-directed partial evaluation. Through various back ends, including a run-time code generator, we generate ML code, C code, and OCaml byte code. Binding-time analysis and partial evaluation of the continuation-based interpreter automatically give rise to C programs that coincide with the result of Proebsting's optimized compiler