ASL+, a specification language with higher-order parametrisation based on dependently typed lambda-calculus, is introduced. It is extended with a concrete prototypical programming language FPC, defined as an institution. The institution is notable for including sharing equations inside signatures, reminiscent of manifest types from type systems for programming language modules.David Aspinall.
Click here to return to my papers page.