An introductory talk to practical use linear and substructural type systems through Linear Haskell and Rust. All of the Linear Haskell commentary is describing the ...

This graduate course provides an introduction to substructural logics, such as linear, ordered, affine, bunched, or separation logic, with an emphasis on their applications in computer science. This ...

Abstract: In this paper, a substructural approach is proposed and successfully implemented for H/sub /spl infin// robust controller design for nonlinear and fuzzy structures. Sensors and actuators are ...