Constructive mathematics and computer programming

Using a language of functions and relations for VLSI specification

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

The T-Ruby Design System

Formal Methods in System Design

Model verification in &lgr;Σ: a type inference approach

ANSS '91 Proceedings of the 24th annual symposium on Simulation

Classification in object-oriented systems

OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming

An Introduction to Dependent Type Theory

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

The reflective practitioner perspective in software engineering education

Journal of Systems and Software

Application of computer science ideas to the presentation of mathematical theorems and proofs

ACM SIGCSE Bulletin

Dependent ML An approach to practical programming with dependent types

Journal of Functional Programming

Towards a Context Theory for Context-aware systems

Proceedings of the 2007 conference on Advances in Ambient Intelligence

Component Specification Using Event Classes

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering

A Hoare Logic for the State Monad

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics

Behavioral interface specification languages

ACM Computing Surveys (CSUR)