scientific article; zbMATH DE number 515740

zbMATH Open0835.68013MaRDI QIDQ4283243FDOQ4283243

Authors: Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn Talcott 

Publication date: 16 April 1996

Title of this publication is not available (Why is that?)

Recommendations

• A variable typed logic of effects
• Publication:4490719
• A first order logic of effects
• scientific article; zbMATH DE number 1870424
• A theory of classes: proofs and models

zbMATH Keywords

functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (4)

• Title not available (Why is that?)
• A first order logic of effects
• Control effects as a modality
• REASONING ABOUT OBJECT SYSTEMS IN VTLoE

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283243)