scientific article

From MaRDI portal

Publication:4038679

Jump to:navigation, search

zbMath0765.68017MaRDI QIDQ4038679

Michael I. Schwartzbach

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursive types type hierarchical with static type checking

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Interpretations of recursively defined types

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4038679&oldid=17762809"