The use of type systems and type theory in declarative system architecture

The use of type systems and type theory in declarative system architecture

Bibliographic Details
Main Author: Brock, Simon Howard
Published: Imperial College London 1990
Subjects:
004
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718136

Internet

https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718136

Similar Items