Edinburgh Research Explorer

Flexible type systems for the rapid development of reliable software.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationProductivity: Progress, Prospects and Payoff
EditorsJ.E. Gaffney
PublisherACM Press
Pages12
Number of pages115
Publication statusPublished - 1 Jun 1988

ID: 10623934