scientific article; zbMATH DE number 1088037

zbMATH Open0884.03029MaRDI QIDQ4364385

Atsushi Ohori

Publication date: 1 April 1998

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

zbMATH Keywords

coherent transformation of an ML style polymorphic language into an explicitly typed calculusspecializing polymorphic primitives based on static type information

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (2)

Specifying type systems ⋮ Title not available (Why is that?)

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 Q4364385)